idris-0.9.8: dependencies

Dependencies for idris-0.9.8

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 if os(linux) unix if os(osx) unix if os(windows) Win32

Automatic Flags

Name	Description	Default
java	Build the Java RTS	Disabled
noeffects	Do not build the effects package	Disabled

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