Dependencies for idris-1.3.0

Libraries

aeson (>=0.6 && <1.3)
annotated-wl-pprint (>=0.7 && <0.8)
ansi-terminal (<0.9)
ansi-wl-pprint (<0.7)
array (>=0.4.0.1 && <0.6)
async (<2.3)
base (>=4 && <5)
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.2)
containers (>=0.5 && <0.6)
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 && <0.8)
ieee754 (>=0.7 && <0.9)
megaparsec (>=6.2)
mtl (>=2.1 && <2.3)
network (<2.7)
optparse-applicative (>=0.13 && <0.15)
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 && <0.6)
uniplate (>=1.6 && <1.7)
unordered-containers (<0.3)
utf8-string (<1.1)
vector (<0.13)
vector-binary-instances (<0.3)
zip-archive (>0.2.3.5 && <0.4)
if !impl(ghc>=8.0)
- semigroups (>=0.18 && <0.19)
if os(windows)
- mintty (>=0.1 && <0.2)
- Win32 (<2.7)
else
- unix (<2.8)
if flag(ffi)
- libffi (<0.2)
if flag(gmp)
- libffi (<0.2)

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

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