git.iko.soy/Idris-dev
on master help sign in
Bound on 'parsers' due to build failure
14a8228Edwin 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
623+ , parsers >= 0.9 && < 11.0.2
624 , pretty
624 , pretty
625 , process
625 , process
626 , split
626 , split