Bump what4 release version to 1.6.3

GaloisInc · Feb 26, 2025 · 6399727 · 6399727
1 parent 3a50f93
commit 6399727
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.3 (Feb 2025)
 
 * Fixed a bug where `What4.Protocol.SMTLib2.shutdownSolver` would raise
   an exception if the solver process had already terminated. This can occur

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