Skip to content

Commit

Permalink
Update upper bound of base
Browse files Browse the repository at this point in the history
  • Loading branch information
facundominguez committed Nov 20, 2023
1 parent aea09b7 commit 695f280
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion smtlib-backends-process/smtlib-backends-process.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ library
exposed-modules: SMTLIB.Backends.Process
other-extensions: Safe
build-depends:
base >=4.14 && <4.18
base >=4.14 && <4.19
, bytestring >=0.10.12 && <0.12
, process >=1.6 && <1.7
, smtlib-backends >=0.3 && <0.4
Expand Down
2 changes: 1 addition & 1 deletion smtlib-backends-tests/smtlib-backends-tests.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ library
exposed-modules: SMTLIB.Backends.Tests
other-modules: SMTLIB.Backends.Tests.Sources
build-depends:
base >=4.14 && <4.18
base >=4.14 && <4.19
, smtlib-backends >=0.3 && <0.4
, tasty >=1.4.2 && <1.5
, tasty-hunit >=0.10.0 && <0.11
Expand Down
2 changes: 1 addition & 1 deletion smtlib-backends-z3/smtlib-backends-z3.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ library
ghc-options: -Wall -Wunused-packages
exposed-modules: SMTLIB.Backends.Z3
build-depends:
base >=4.14 && <4.18
base >=4.14 && <4.19
, bytestring >=0.10.12 && <0.12
, smtlib-backends >=0.3 && <0.4

Expand Down
2 changes: 1 addition & 1 deletion smtlib-backends.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ library
exposed-modules: SMTLIB.Backends
other-extensions: Safe
build-depends:
base >=4.14 && <4.18
base >=4.14 && <4.19
, bytestring >=0.10.12 && <0.12

default-language: Haskell2010

0 comments on commit 695f280

Please sign in to comment.