From ed3fc26f2b79f321f6f277c35fad1e5cd639df8b Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Thu, 7 Nov 2024 06:38:21 -0800
Subject: [PATCH] Mark new version

---
 sbv.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sbv.cabal b/sbv.cabal
index 7bc3132c..28eb81fd 100644
--- a/sbv.cabal
+++ b/sbv.cabal
@@ -1,7 +1,7 @@
 Cabal-Version: 2.2
 
 Name        : sbv
-Version     : 11.0
+Version     : 11.0.5
 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