@@ -81,9 +81,10 @@ Executable idris
82 Paths_idris
82 Paths_idris
84− Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,
84+ Build-depends: base>=4 && <5, parsec, mtl, Cabal,
85− containers, process, transformers, filepath, directory,
86+ containers, process, transformers, filepath,
86− binary, bytestring, pretty
87+ directory, binary, bytestring, pretty
88 Extensions: MultiParamTypeClasses, FunctionalDependencies,
89 Extensions: MultiParamTypeClasses, FunctionalDependencies,
89 FlexibleInstances, TemplateHaskell
90 FlexibleInstances, TemplateHaskell