bump version

marcellussiegburg · Jan 19, 2024 · c6f5b87 · c6f5b87
1 parent f79832d
commit c6f5b87
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/ChangeLog.md b/ChangeLog.md
@@ -2,10 +2,12 @@
 
 ## Unreleased changes
 
-- introduce flag for testing different SAT solvers
-
 ## Released changes
 
+### 0.4.1.1
+
+- introduce flag for testing different SAT solvers
+
 ### 0.4.1
 
 - add support for different SAT solvers

diff --git a/call-alloy.cabal b/call-alloy.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           call-alloy
-version:        0.4.1
+version:        0.4.1.1
 synopsis:       A simple library to call Alloy given a specification
 description:    Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>
 category:       Language

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                call-alloy
-version:             0.4.1
+version:             0.4.1.1
 github:              "marcellussiegburg/call-alloy"
 license:             MIT
 author:              "Marcellus Siegburg"