idris-0.9.9: dependencies

Dependencies for idris-0.9.9

idris	base (>=4 && <5) binary bytestring Cabal containers directory filepath haskeline (>=0.7) language-java (>=0.2.2) libffi mtl parsec (>=3) pretty process split text transformers vector vector-binary-instances if os(linux) unix if os(osx) unix if os(windows) Win32 if flag(llvm) llvm-general (>=3.3.5 && <3.3.6)

Name	Description	Default
llvm	Build the LLVM backend	Enabled

Automatic Flags

Name	Description	Default
noeffects	Do not build the effects package	Disabled

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