Bump upper version bounds to allow base-4.20

Bump the upper version bounds on `base` in the various `what4` packages, and bump the `aig` submodule to bring in the changes from GaloisInc/aig#18.
GaloisInc · Sep 19, 2024 · bf8938b · bf8938b
1 parent cb3dddd
commit bf8938b
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/dependencies/aig b/dependencies/aig
diff --git a/what4-abc/what4-abc.cabal b/what4-abc/what4-abc.cabal
@@ -17,7 +17,7 @@ Description:
 
 library
   build-depends:
-    base >= 4.7 && < 4.20,
+    base >= 4.7 && < 4.21,
     aig,
     abcBridge >= 0.11,
     bv-sized >= 1.0.0,

diff --git a/what4-blt/what4-blt.cabal b/what4-blt/what4-blt.cabal
@@ -26,7 +26,7 @@ common bldflags
 library
   import: bldflags
   build-depends:
-    base >= 4.7 && < 4.20,
+    base >= 4.7 && < 4.21,
     blt >= 0.12.1,
     containers,
     what4 >= 0.4,

diff --git a/what4-transition-system/what4-transition-system.cabal b/what4-transition-system/what4-transition-system.cabal
@@ -13,7 +13,7 @@ build-type:    Simple
 common dependencies
   build-depends:
     , ansi-wl-pprint       ^>=0.6
-    , base                 >=4.12 && <4.20
+    , base                 >=4.12 && <4.21
     , bytestring
     , containers           ^>=0.6
     , io-streams