Agda-2.5.2: dependencies | Hackage

Dependencies for Agda-2.5.2

library	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)
agda	Agda (==2.5.2) base (>=4.6.0.1 && <6)
agda-mode	base (>=4.6.0.1 && <4.10) directory (>=1.2.0.1 && <1.4) filepath (>=1.3.0.1 && <1.5) process (>=1.1.0.2 && <1.5)

Flags

Manual Flags

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