Allow zlib-0.7

agda · Feb 8, 2024 · eddb426 · eddb426
1 parent 3cdbd39
commit eddb426
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Agda.cabal b/Agda.cabal
@@ -447,7 +447,7 @@ library
     , uri-encode           >= 1.5.0.4   && < 1.6
     , vector               >= 0.12      && < 0.14
     , vector-hashtables    >= 0.1.1.1   && < 0.2
-    , zlib                 == 0.6.*
+    , zlib                 >= 0.6       && < 0.8
 
   -- We don't write upper bounds for Alex nor Happy because the
   -- `build-tool-depends` field can not be modified in Hackage.