From 810ef89fa47d92232d1037820dac4e93b67e2b32 Mon Sep 17 00:00:00 2001 From: Leonid Ryzhyk Date: Tue, 16 Jul 2019 09:22:32 -0700 Subject: [PATCH] v0.6.2 -> v0.6.3 --- src/Language/DifferentialDatalog/Version.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs index 3153de00e..e1c34b22b 100644 --- a/src/Language/DifferentialDatalog/Version.hs +++ b/src/Language/DifferentialDatalog/Version.hs @@ -31,7 +31,7 @@ where import GitHash -- Keep this in sync with the binary release version on github -dDLOG_VERSION = "v0.6.2" +dDLOG_VERSION = "v0.6.3" gitHash :: String gitHash = giHash $$tGitInfoCwd