Bound on 'parsers' due to build failure
parsers 11.0.2 currently fails to build - presumably temporarily -
remove the constraint when this is solved.
commit14a8228aa066f159130ecdde54efa15eda458fab
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 1 Jun 2014, 16:35 (12 years ago)
parent47bf9d7
idris.cabal+1−1
@@ -620,7 +620,7 @@ Library
620620 , language-java >= 0.2.6
621621 , lens >= 4.1.1
622622 , mtl
623− , parsers >= 0.9
623+ , parsers >= 0.9 && < 11.0.2
624624 , pretty
625625 , process
626626 , split