Merge pull request #4590 from felixonmars/patch-1

Allow code-page 0.2
idris-lang · Nov 19, 2018 · 347b63f · 347b63f
2 parents 1a7fa35 + a1c7940
commit 347b63f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris.cabal b/idris.cabal
@@ -281,7 +281,7 @@ Library
                 , blaze-markup >= 0.5.2.1 && < 0.9
                 , bytestring < 0.11
                 , cheapskate >= 0.1.1 && < 0.2
-                , code-page >= 0.1 && < 0.2
+                , code-page >= 0.1 && < 0.3
                 , containers >= 0.5 && < 0.6
                 , deepseq < 1.5
                 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0