Merge pull request #1447 from jwiegley/master
Bump upper bound on parsers dependency
commitccda94e1d9f6706a31cb80fb49f65940733eb7f2
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 31 Jul 2014, 06:51 (12 years ago)
parent382542ae3be67a
idris.cabal+1−1
@@ -668,7 +668,7 @@ Library
668668 , language-java >= 0.2.6
669669 , lens >= 4.1.1
670670 , mtl
671− , parsers >= 0.9 && < 0.11.0.2
671+ , parsers >= 0.9 && < 0.13
672672 , pretty
673673 , process
674674 , split