git.iko.soy/Idris-dev
on master help sign in
Let's try that again, but with the 0. ...
dcd9568Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -620,7 +620,7 @@ Library
620 , language-java >= 0.2.6
620 , language-java >= 0.2.6
621 , lens >= 4.1.1
621 , lens >= 4.1.1
622 , mtl
622 , mtl
623− , parsers >= 0.9 && < 11.0.2
623+ , parsers >= 0.9 && < 0.11.0.2
624 , pretty
624 , pretty
625 , process
625 , process
626 , split
626 , split