Agda-2.3.0: dependencies

Dependencies for Agda-2.3.0

library	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)
agda-mode	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)

library

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)

agda-mode

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