Bump what4 release version to 1.6.2

GaloisInc · Sep 23, 2024 · 5a0932a · 5a0932a
1 parent 3be7ed5
commit 5a0932a
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.6.2 (Sep 2024)
 
 * Allow building with GHC 9.10.
 

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