Bump what4 release version to 1.5.1

GaloisInc · Oct 13, 2023 · 13e788f · 13e788f
1 parent 1de86e4
commit 13e788f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/what4/CHANGES.md b/what4/CHANGES.md
@@ -1,4 +1,4 @@
-# next (TBA)
+# 1.5.1 (October 2023)
 
 * Require building with `versions >= 6.0.2`.
 

diff --git a/what4/what4.cabal b/what4/what4.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.4
 Name:          what4
-Version:       1.5.0.0.99
+Version:       1.5.1
 Author:        Galois Inc.
 Maintainer:    [email protected], [email protected]
 Copyright:     (c) Galois, Inc 2014-2023