Merge branch 'master' of github.com:idris-lang/Idris-dev
commitc5783728d83b6e37e11f17582881156737b13e7c
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 31 Jul 2014, 20:43 (12 years ago)
parenta9dd2e4ccda94e
idris.cabal+1−1
@@ -669,7 +669,7 @@ Library
669669 , language-java >= 0.2.6
670670 , lens >= 4.1.1
671671 , mtl
672− , parsers >= 0.9 && < 0.11.0.2
672+ , parsers >= 0.9 && < 0.13
673673 , pretty
674674 , process
675675 , split