git.iko.soy/Idris-dev
on master help sign in
Util.Pretty missing
commit067f4faf53a02f060ab03bbf76157a62bb0679bd authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateThu 29 Mar 2012, 12:05 (15 years ago) parent08797ae
1 file changed+2
compare with master
unifiedsplit
idris.cabal+2
idris.cabal+2
@@ -63,6 +63,8 @@ Executable idris
6363 Idris.Coverage, Idris.IBC, Idris.Unlit,
6464 Idris.DataOpts, Idris.Transforms, Idris.DSL,
6565
66+ Util.Pretty,
67+
6668 Paths_idris
6769
6870 Build-depends: base>=4 && <5, parsec, mtl, Cabal, haskeline,