Dependencies for idris-0.9.17.1

Libraries

annotated-wl-pprint (>=0.5.3 && <0.6)
ansi-terminal (<0.7)
ansi-wl-pprint (<0.7)
base (>=4 && <5)
base64-bytestring (<1.1)
binary (>=0.7 && <0.8)
blaze-html (>=0.6.1.3 && <0.8)
blaze-markup (>=0.5.2.1 && <0.6.3.0)
bytestring (<0.11)
cheapskate (<0.2)
containers (>=0.5 && <0.6)
deepseq (<1.5)
directory (>=1.2 && <1.3)
filepath (<1.4)
fingertree (>=0.1 && <0.2)
haskeline (>=0.7 && <0.8)
lens (>=4.1.1 && <4.8)
mtl (>=2.1 && <2.3)
network (<2.7)
optparse-applicative (>=0.11 && <0.12)
parsers (>=0.9 && <0.13)
pretty (<1.2)
process (<1.3)
safe
split (<0.3)
text (<1.3)
time (>=1.4 && <1.6)
transformers (<0.5)
transformers-compat (>=0.3)
trifecta (>=1.1 && <1.6)
uniplate (>=1.6 && <1.7)
unordered-containers (<0.3)
utf8-string (<0.4)
vector (<0.11)
vector-binary-instances (<0.3)
xml (<1.4)
zlib (<0.6)
if os(linux)
- unix (<2.8)
if os(freebsd)
- unix (<2.8)
if os(osx)
- unix (<2.8)
if os(windows)
- Win32 (<2.4)
if flag(ffi)
- libffi (<0.2)
if flag(gmp)
- libffi (<0.2)
if flag(curses)
- hscurses (<1.5)

Name	Description	Default
ffi	Build support for libffi	Disabled
gmp	Use GMP for Integers	Disabled
curses	Use Curses to get the screen width	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