Dependencies for Agda-2.3.0

Libraries

array (>=0.1 && <0.4)
binary (>=0.4.4 && <0.6)
bytestring (>=0.9.0.1 && <0.10)
containers (>=0.1 && <0.5)
directory (>=1.0 && <1.2)
filepath (>=1.1 && <1.3)
hashable (>=1.1 && <1.2)
hashtables (>=1.0 && <1.1)
haskeline (>=0.6.3.2 && <0.7)
haskell-src-exts (>=1.9.6 && <1.12)
mtl (>=2.0 && <2.1)
old-time (>=1.0 && <1.1)
pretty (>=1.0 && <1.2)
process (>=1.0.1.0 && <1.2)
QuickCheck (>=2.3 && <2.5)
syb (>=0.1 && <0.4)
xhtml (>=3000.2 && <3000.3)
zlib (>=0.4.0.1 && <0.6)
if flag(use-locale)
- base (>=4.2 && <4.5)
else
- base (>=4.1 && <4.2)
- utf8-string (>=0.3 && <0.4)
if flag(epic)
- epic (>=0.1.13 && <0.2)

directory (>=1.0 && <1.2)
filepath (>=1.1 && <1.3)
process (>=1.0.1.0 && <1.2)
if flag(use-locale)
- base (>=4.2 && <4.5)
else
- base (>=4.1 && <4.2)
- utf8-string (>=0.3 && <0.4)

Name	Description	Default
epic	Install the Epic compiler.	Disabled

Automatic Flags

Name	Description	Default
use-locale	Try to use the character encoding specified by the locale for most of the IO going to/from stdin and stdout. (Note that source files must always be encoded using UTF8.)	Enabled

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