git.iko.soy/Idris-dev
on master help sign in
Bump upper bound on parsers dependency
e3be67aJohn Wiegley
idris.cabal+1−1
compare with master
unifiedsplit
@@ -668,7 +668,7 @@ Library
668 , language-java >= 0.2.6
668 , language-java >= 0.2.6
669 , lens >= 4.1.1
669 , lens >= 4.1.1
670 , mtl
670 , mtl
671− , parsers >= 0.9 && < 0.11.0.2
671+ , parsers >= 0.9 && < 0.13
672 , pretty
672 , pretty
673 , process
673 , process
674 , split
674 , split