From fb655525ca145a133c312a4789cd6afea64221df Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Thu, 15 Feb 2024 08:01:15 -0800
Subject: [PATCH] Release 10.4

---
 CHANGES.md | 4 ++--
 sbv.cabal  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index e440ca6e4..1e0ff272b 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,9 +1,9 @@
 * Hackage: <http://hackage.haskell.org/package/sbv>
 * GitHub:  <http://leventerkok.github.io/sbv/>
 
-* Latest Hackage released version: 10.3, 2024-01-05
+* Latest Hackage released version: 10.4, 2024-02-15
 
-### Version 10.3.5, Not yet released
+### Version 10.4, 2024-02-15
 
   * Before issuing a get-value, make sure there are no outstanding assert calls.
     See: https://github.com/LeventErkok/sbv/issues/682 for details.
diff --git a/sbv.cabal b/sbv.cabal
index 947ccab90..5ce99ef59 100644
--- a/sbv.cabal
+++ b/sbv.cabal
@@ -1,7 +1,7 @@
 Cabal-Version: 2.2
 
 Name        : sbv
-Version     : 10.3.5
+Version     : 10.4
 Category    : Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
 Synopsis    : SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
 Description : Express properties about Haskell programs and automatically prove them using SMT