@@ -81,9 +81,10 @@ Executable idris
8181
8282 Paths_idris
8383
84− Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
85− containers, process, transformers, filepath, directory,
86− binary, bytestring, pretty
84+ Build-depends: base>=4 && <5, parsec, mtl, Cabal,
85+ haskeline>=0.7,
86+ containers, process, transformers, filepath,
87+ directory, binary, bytestring, pretty
8788
8889 Extensions: MultiParamTypeClasses, FunctionalDependencies,
8990 FlexibleInstances, TemplateHaskell