Dependencies for Agda-2.5.2

Libraries

array (>=0.4.0.1 && <0.6)
base (>=4.6.0.1 && <4.10)
binary (>=0.7.2.1 && <0.9)
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.4)
EdisonCore (>=1.3.1.1 && <1.3.2)
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)
gitrev (>=1.2 && <2.0)
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)
ieee754 (>=0.7.8 && <0.9)
monadplus (>=1.4 && <1.5)
mtl (>=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3)
murmur-hash (>=0.1 && <0.2)
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.5)
regex-tdfa (>=1.2.2 && <1.3)
strict (>=0.3.2 && <0.4)
template-haskell (>=2.8.0.0 && <2.12)
text (>=0.11.3.1 && <1.3)
time (>=1.4.0.1 && <1.7)
transformers (>=0.3 && <0.4 || >=0.4.1.0 && <0.6)
transformers-compat (>=0.3.3.3 && <0.6)
unordered-containers (>=0.2.5.0 && <0.3)
xhtml (>=3000.2.1 && <3000.3)
if flag(uhc)
- shuffle (>=0.1.3.3)
- uhc-light (>=1.1.9.2 && <1.2)
- uhc-util (>=0.1.6.3 && <0.1.6.7)
- uulib (>=0.9.20)
if os(windows)
- Win32 (>=2.2 && <2.4)
if impl(ghc<7.8)
- base-orphans (>=0.3.1 && <0.5)
if impl(ghc<7.10)
- void (>=0.5.4 && <0.9)
if impl(ghc<7.10.3)
- zlib (>=0.4.0.1 && <0.6.1)
else
- zlib (>=0.4.0.1 && <0.7)
if impl(ghc<8.0)
- fail (>=4.9 && <4.10)
- semigroups (>=0.18 && <0.19)

Name	Description	Default
cpphs	Use cpphs instead of cpp.	Enabled
uhc	Enable the UHC backend. For details, consult the Agda User Manual.	Disabled
debug	Enable debugging features that may slow Agda down.	Disabled

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