idris-0.9.9.3: dependencies

Dependencies for idris-0.9.9.3

idris	ansi-terminal ansi-wl-pprint base (>=4 && <5) binary bytestring Cabal containers directory (>=1.2) filepath haskeline (>=0.7) language-java (>=0.2.2) libffi mtl parsec (>=3) parsers (==0.9) pretty process split text time (>=1.4) transformers trifecta (==1.1) unordered-containers utf8-string vector vector-binary-instances if os(linux) 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)

idris

Name	Description	Default
llvm	Build the LLVM backend	Enabled

Automatic Flags

Name	Description	Default
effects	Build the effects package	Enabled

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