@@ -88,7 +88,7 @@ Executable idris
89 Paths_idris
89 Paths_idris
91− Build-depends: base>=4 && <5, parsec, mtl, Cabal,
91+ Build-depends: base>=4 && <5, parsec>=3, mtl, Cabal,
92 haskeline>=0.7, split, directory,
92 haskeline>=0.7, split, directory,
93 containers, process, transformers, filepath,
93 containers, process, transformers, filepath,
94 directory, binary, bytestring, pretty
94 directory, binary, bytestring, pretty