Merge pull request #12 from konn/ghc-9.10-followup

GHC 9.10 Followup
konn · May 17, 2024 · 5b4f46f · 5b4f46f
2 parents 87404a7 + 2db850c
commit 5b4f46f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/equational-reasoning.cabal b/equational-reasoning.cabal
@@ -1,6 +1,7 @@
 cabal-version: 3.4
 name: equational-reasoning
 version: 0.7.0.3
+x-revision: 1
 synopsis: Proof assistant for Haskell using DataKinds & PolyKinds
 description:
   A simple convenient library to write equational / preorder proof as in Agda.
@@ -35,7 +36,7 @@ library
   ghc-options: -Wall
   build-depends:
     base >=4 && <5,
-    containers >=0.5 && <0.7,
+    containers >=0.5 && <0.8,
     template-haskell >=2.11 && <2.23,
     th-desugar >=1.8 && <1.18,
     void >=0.6 && <0.8,