Agda-2.2.6: dependencies

Dependencies for Agda-2.2.6

library	array (>=0.1 && <1) binary (>=0.4.4 && <0.6) bytestring (>=0.9.0.1 && <1) containers (>=0.1.0 && <1) directory (>=1 && <2) filepath (>=1.1 && <2) haskeline (>=0.3 && <0.7) haskell-src (>=1.0.1.1 && <2) mtl (>=1.1 && <2) old-time (>=1 && <2) pretty (>=1 && <2) process (>=1.0.1.0 && <2) QuickCheck (>=2.1.0.2 && <2.2) syb (>=0.1 && <0.2) xhtml (>=3000.2 && <3000.3) zlib (>=0.4.0.1 && <1) if flag(use-locale) base (>=4.2 && <4.3) else base (>=4.1 && <4.2) utf8-string (>=0.3 && <0.4)
agda-mode	filepath (>=1.1 && <2) process (>=1.0.1.0 && <2) if flag(use-locale) base (>=4.2 && <4.3) else base (>=4.1 && <4.2) utf8-string (>=0.3 && <0.4)

library

array (>=0.1 && <1)
binary (>=0.4.4 && <0.6)
bytestring (>=0.9.0.1 && <1)
containers (>=0.1.0 && <1)
directory (>=1 && <2)
filepath (>=1.1 && <2)
haskeline (>=0.3 && <0.7)
haskell-src (>=1.0.1.1 && <2)
mtl (>=1.1 && <2)
old-time (>=1 && <2)
pretty (>=1 && <2)
process (>=1.0.1.0 && <2)
QuickCheck (>=2.1.0.2 && <2.2)
syb (>=0.1 && <0.2)
xhtml (>=3000.2 && <3000.3)
zlib (>=0.4.0.1 && <1)
if flag(use-locale)
- base (>=4.2 && <4.3)
else
- base (>=4.1 && <4.2)
- utf8-string (>=0.3 && <0.4)

agda-mode

filepath (>=1.1 && <2)
process (>=1.0.1.0 && <2)
if flag(use-locale)
- base (>=4.2 && <4.3)
else
- base (>=4.1 && <4.2)
- utf8-string (>=0.3 && <0.4)

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