Agda-2.4.2.2: dependencies

Dependencies for Agda-2.4.2.2

library	array (>=0.1 && <0.6) base (>=4.2 && <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.5 && <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 \|\| >=1.2.0.2 && <1.3) haskeline (>=0.7 && <0.8) haskell-src-exts (>=1.9.6 && <1.17) mtl (>=2.1.1 && <=2.1.3.1 \|\| >=2.2.1 && <2.3) 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) template-haskell (>=2.5 && <2.10) text (>=0.11 && <1.3) transformers (>=0.3 && <0.4 \|\| >=0.4.1.0 && <0.5) 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)
agda	Agda (==2.4.2.2) base (>=3 && <6)
agda-mode	base (>=4.2 && <4.8) directory (>=1.0 && <1.3) filepath (>=1.1 && <1.4) process (>=1.0.1.0 && <1.3)

Name	Description	Default
cpphs	Use cpphs instead of cpp.	Enabled
epic	Install the Epic compiler.	Disabled

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