From 54d7c3131ec4b69a8f27633b2ac48fb11e41d1ee Mon Sep 17 00:00:00 2001 From: Nick Smallbone Date: Thu, 15 Sep 2022 14:04:26 +0200 Subject: [PATCH] Bump version. --- src/twee-lib.cabal | 2 +- twee.cabal | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/twee-lib.cabal b/src/twee-lib.cabal index 72e53e6..92475bf 100644 --- 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 index a129d41..8663c76 100644 --- 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,