From 708a1dfcbd8f8ed8c1d856239a2d9e47293c4006 Mon Sep 17 00:00:00 2001 From: Leonid Ryzhyk Date: Sat, 29 Aug 2020 09:09:18 -0700 Subject: [PATCH] Bump version to 0.26.0. --- 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 8fdfc8d5f..d79a02893 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.25.5" +dDLOG_VERSION = "v0.26.0" gitHash :: String gitHash = giHash $$tGitInfoCwd