Dependencies for Agda-2.4.0.2

Libraries

array (>=0.1 && <0.6)
base (>=4.4 && <4.8)
binary (>=0.6 && <0.8)
boxes (>=0.1.3 && <0.2)
bytestring (>=0.9.0.1 && <0.11)
containers (>=0.1 && <0.6)
data-hash (==0.2.0.0)
deepseq (>=1.3 && <1.4)
equivalence (>=0.2.4 && <0.3)
filepath (>=1.1 && <1.4)
geniplate (>=0.6.0.3 && <0.7)
hashable (>=1.1.2.3 && <1.2 || >=1.2.1.0 && <1.3)
hashtables (>=1.0 && <1.2)
haskeline (>=0.7 && <0.8)
haskell-src-exts (>=1.9.6 && <1.16)
mtl (>=2.1.1 && <2.2)
parallel (<3.3)
pretty (>=1.0 && <1.2)
process (>=1.0.1.0 && <1.3)
QuickCheck (>=2.7.5 && <2.8)
STMonadTrans (>=0.3.2 && <0.4)
strict (>=0.3.2 && <0.4)
text (>=0.11 && <1.2)
transformers (>=0.3 && <0.4)
unordered-containers (>=0.2 && <0.3)
xhtml (>=3000.2 && <3000.3)
zlib (>=0.4.0.1 && <0.6)
if flag(epic)
- epic (>=0.1.13 && <0.10)
if os(windows)
- Win32 (>=2.2 && <2.4)
if impl(ghc<7.6)
- directory (>=1.0 && <1.2)
- old-time (>=1.0 && <1.2)
else
- directory (>=1.2 && <1.3)
- time (>=1.4 && <1.5)

Name	Description	Default
epic	Install the Epic compiler.	Disabled

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