idris-1.3.2: dependencies

Dependencies for idris-1.3.2

library	aeson (>=0.6 && <1.5) annotated-wl-pprint (==0.7.) ansi-terminal (<0.9) ansi-wl-pprint (<0.7) array (>=0.4.0.1 && <0.6) async (<2.3) base (==4.) base64-bytestring (<1.1) binary (>=0.8.4.1 && <0.9) blaze-html (>=0.6.1.3 && <0.10) blaze-markup (>=0.5.2.1 && <0.9) bytestring (<0.11) cheapskate (>=0.1.1 && <0.2) code-page (>=0.1 && <0.3) containers (>=0.5 && <0.7) deepseq (<1.5) directory (>=1.2.2.0 && <1.2.3.0 \|\| >1.2.3.0) filepath (<1.5) fingertree (>=0.1.4.1 && <0.2) fsnotify (>=0.2 && <2.2) haskeline (==0.7.) ieee754 (>=0.7 && <0.9) megaparsec (>=7.0.4 && <8) mtl (>=2.1 && <2.3) network (>=2.7 && <2.9) optparse-applicative (>=0.13 && <0.15) parser-combinators (>=1.0.0) pretty (<1.2) process (<1.7) regex-tdfa (>=1.2) safe (>=0.3.9) split (<0.3) terminal-size (<0.4) text (>=1.2.1.0 && <1.3) time (>=1.4 && <1.9) transformers (==0.5.) uniplate (==1.6.) unordered-containers (<0.3) utf8-string (<1.1) vector (<0.13) vector-binary-instances (<0.3) zip-archive (>0.2.3.5 && <0.5) if !impl(ghc>=8.0) semigroups (==0.18.) if os(windows) mintty (==0.1.) Win32 (<2.7) else* unix (<2.8) if flag(ffi) libffi (<0.2) if flag(gmp) libffi (<0.2)
idris	base directory filepath haskeline (>=0.7) idris transformers
idris-codegen-c	base filepath haskeline (>=0.7) idris transformers
idris-codegen-javascript	base filepath haskeline (>=0.7) idris transformers
idris-codegen-node	base filepath haskeline (>=0.7) idris transformers

Name	Description	Default	Type
ffi	Build support for libffi	Disabled	Manual
gmp	Use GMP for Integers	Disabled	Manual
release	This is an official release	Enabled	Manual
freestanding	Build an Idris that doesn't use cabal	Disabled	Manual
ci	Built everything using "-Werror", meant for CI-builds only	Disabled	Manual
execonly	Build executables only, skip the libraries and RTS	Disabled	Manual

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