@@ -88,7 +88,7 @@ Executable idris
8888
8989 Paths_idris
9090
91− Build-depends: base>=4 && <5, parsec, mtl, Cabal,
91+ Build-depends: base>=4 && <5, parsec>=3, mtl, Cabal,
9292 haskeline>=0.7, split, directory,
9393 containers, process, transformers, filepath,
9494 directory, binary, bytestring, pretty