Update dependency bounds to build with ghc 9.10.1

tweag · Aug 15, 2024 · 57fe0cf · 57fe0cf
1 parent dbb056f
commit 57fe0cf
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/smtlib-backends-cvc5/smtlib-backends-cvc5.cabal b/smtlib-backends-cvc5/smtlib-backends-cvc5.cabal
@@ -40,7 +40,7 @@ library
   ghc-options:      -Wall -Wunused-packages
   exposed-modules:  SMTLIB.Backends.CVC5
   build-depends:
-      base             >=4.14    && <4.20
+      base             >=4.14    && <4.21
     , bytestring       >=0.10.12 && <0.13
     , smtlib-backends  >=0.3     && <0.5
 

diff --git a/smtlib-backends-process/smtlib-backends-process.cabal b/smtlib-backends-process/smtlib-backends-process.cabal
@@ -33,7 +33,7 @@ library
   exposed-modules:  SMTLIB.Backends.Process
   other-extensions: Safe
   build-depends:
-      base             >=4.14    && <4.20
+      base             >=4.14    && <4.21
     , bytestring       >=0.10.12 && <0.13
     , process          >=1.6     && <1.7
     , smtlib-backends  >=0.3     && <0.5

diff --git a/smtlib-backends-tests/smtlib-backends-tests.cabal b/smtlib-backends-tests/smtlib-backends-tests.cabal
@@ -33,7 +33,7 @@ library
   exposed-modules:  SMTLIB.Backends.Tests
   other-modules:    SMTLIB.Backends.Tests.Sources
   build-depends:
-      base             >=4.14   && <4.19
+      base             >=4.14   && <4.21
     , smtlib-backends  >=0.3    && <0.5
     , tasty            >=1.4.2  && <1.5
     , tasty-hunit      >=0.10.0 && <0.11

diff --git a/smtlib-backends-z3/smtlib-backends-z3.cabal b/smtlib-backends-z3/smtlib-backends-z3.cabal
@@ -35,7 +35,7 @@ library
   ghc-options:      -Wall -Wunused-packages
   exposed-modules:  SMTLIB.Backends.Z3
   build-depends:
-      base             >=4.14    && <4.20
+      base             >=4.14    && <4.21
     , bytestring       >=0.10.12 && <0.13
     , smtlib-backends  >=0.3     && <0.5
 

diff --git a/smtlib-backends.cabal b/smtlib-backends.cabal
@@ -35,7 +35,7 @@ library
   exposed-modules:  SMTLIB.Backends
   other-extensions: Safe
   build-depends:
-      base        >=4.14    && <4.20
+      base        >=4.14    && <4.21
     , bytestring  >=0.10.12 && <0.13
 
   default-language: Haskell2010