diff --git a/src/Language/DifferentialDatalog/Version.hs b/src/Language/DifferentialDatalog/Version.hs index 68c04a8b9..206de6b57 100644 --- a/src/Language/DifferentialDatalog/Version.hs +++ b/src/Language/DifferentialDatalog/Version.hs @@ -32,7 +32,7 @@ import GitHash -- Keep this in sync with the binary release version on github dDLOG_VERSION :: String -dDLOG_VERSION = "v0.14.2" +dDLOG_VERSION = "v0.14.3" gitHash :: String gitHash = giHash $$tGitInfoCwd