git.iko.soy/Idris-dev
on master help sign in
No need for old-time either...
24436b1Edwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -39,7 +39,7 @@ Executable idris
39
39
40 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
40 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
41 containers, process, transformers, filepath, directory,
41 containers, process, transformers, filepath, directory,
42− binary, bytestring, old-time, epic>=0.9.2
42+ binary, bytestring, epic>=0.9.2
43
43
44 Extensions: MultiParamTypeClasses, FunctionalDependencies,
44 Extensions: MultiParamTypeClasses, FunctionalDependencies,
45 FlexibleInstances, TemplateHaskell
45 FlexibleInstances, TemplateHaskell