idris-0.9.10: dependencies

Dependencies for idris-0.9.10

idris	ansi-terminal ansi-wl-pprint base (>=4 && <5) binary bytestring Cabal containers deepseq directory (>=1.2) filepath haskeline (>=0.7) language-java (>=0.2.6) mtl network parsers (==0.9) pretty process split text time (>=1.4) transformers trifecta (==1.1) unordered-containers utf8-string vector vector-binary-instances xml if os(linux) unix if os(freebsd) unix if os(osx) unix if os(windows) Win32 if flag(llvm) llvm-general (>=3.3.8 && <3.3.9) llvm-general-pure (>=3.3.8 && <3.3.9) if flag(ffi) libffi if flag(gmp) libffi

idris

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info