Bump version.

nick8325 · Sep 15, 2022 · 54d7c31 · 54d7c31
1 parent 4d42dcf
commit 54d7c31
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/twee-lib.cabal b/src/twee-lib.cabal
@@ -1,5 +1,5 @@
 name:                twee-lib
-version:             2.4.1
+version:             2.4.2
 synopsis:            An equational theorem prover
 homepage:            http://github.com/nick8325/twee
 license:             BSD3

diff --git a/twee.cabal b/twee.cabal
@@ -1,5 +1,5 @@
 name:                twee
-version:             2.4.1
+version:             2.4.2
 synopsis:            An equational theorem prover
 homepage:            http://github.com/nick8325/twee
 license:             BSD3
@@ -55,7 +55,7 @@ executable twee
   other-modules:       SequentialMain
   default-language:    Haskell2010
   build-depends:       base < 5,
-                       twee-lib == 2.4.1,
+                       twee-lib == 2.4.2,
                        containers,
                        pretty,
                        split,