Dependencies for Agda-2.4.2.4

Libraries

array (>=0.4.0.1 && <0.6)
base (>=4.6.0.1 && <4.9)
binary (>=0.7.2.1 && <0.8)
boxes (>=0.1.3 && <0.2)
bytestring (>=0.10.0.2 && <0.11)
containers (>=0.5.0.0 && <0.6)
data-hash (>=0.2.0.0 && <0.3)
deepseq (>=1.3.0.1 && <1.5)
directory (>=1.2.0.1 && <1.3)
edit-distance (>=0.2.1.2 && <0.3)
equivalence (>=0.2.5 && <0.4)
filepath (>=1.3.0.1 && <1.5)
geniplate-mirror (>=0.6.0.6 && <0.8)
hashable (>=1.2.1.0 && <1.3)
hashtables (>=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3)
haskeline (>=0.7.1.3 && <0.8)
haskell-src-exts (>=1.16.0.1 && <1.17)
mtl (>=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3)
parallel (>=3.2.0.4 && <3.3)
pretty (>=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2)
process (>=1.1.0.2 && <1.3)
QuickCheck (>=2.8 && <2.9)
strict (>=0.3.2 && <0.4)
template-haskell (>=2.8.0.0 && <2.11)
text (>=0.11.3.1 && <1.3)
time (>=1.4.0.1 && <1.6)
transformers (>=0.3 && <0.4 || >=0.4.1.0 && <0.5)
transformers-compat (>=0.3.3.3 && <0.5)
unordered-containers (>=0.2.5.0 && <0.2.6)
xhtml (>=3000.2.1 && <3000.3)
zlib (>=0.4.0.1 && <0.6.1)
if os(windows)
- Win32 (>=2.2 && <2.4)
if impl(ghc<7.8)
- base-orphans (>=0.3.1 && <0.5)

Name	Description	Default
cpphs	Use cpphs instead of cpp.	Enabled

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