git.iko.soy/Idris-dev
on master help sign in
Merge branch 'master' of github.com:idris-lang/Idris-dev
c578372Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -669,7 +669,7 @@ Library
669 , language-java >= 0.2.6
669 , language-java >= 0.2.6
670 , lens >= 4.1.1
670 , lens >= 4.1.1
671 , mtl
671 , mtl
672− , parsers >= 0.9 && < 0.11.0.2
672+ , parsers >= 0.9 && < 0.13
673 , pretty
673 , pretty
674 , process
674 , process
675 , split
675 , split