43-observable-sharing: bump version

bruderj15 · Aug 21, 2024 · c0eae37 · c0eae37
1 parent 932a61c
commit c0eae37
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,10 +6,10 @@ file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [PVP versioning](https://pvp.haskell.org/).
 
-## v2.3.3 _(2024-08-17)_
+## v2.4.0 _(2024-08-21)_
 
 ### Added
-- Added _**observable** sharing_ with `Language.Hasmtlib.Internal.Sharing`.
+- Added _**observable** sharing_ with `Language.Hasmtlib.Internal.Sharing`. Thank you fabeulous@github for the great help!
 - Added `Language.Hasmtlib.Internal.Uniplate1` for plating GADTs
 
 ### Changed

diff --git a/hasmtlib.cabal b/hasmtlib.cabal
@@ -1,7 +1,7 @@
 cabal-version:         3.0
 
 name:                  hasmtlib
-version:               2.3.3
+version:               2.4.0
 synopsis:              A monad for interfacing with external SMT solvers
 description:           Hasmtlib is a library for generating SMTLib2-problems using a monad.
   It takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.