Agda-2.5.1: dependencies | Hackage

Dependencies for Agda-2.5.1

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.3) EdisonAPI (==1.3) 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) 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.18) monadplus (>=1.4 && <1.5) 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.5) QuickCheck (>=2.8.2 && <2.9) 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.6) 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)
agda	Agda (==2.5.1) base (>=4.6.0.1 && <6)
agda-mode	base (>=4.6.0.1 && <4.10) directory (>=1.2.0.1 && <1.3) filepath (>=1.3.0.1 && <1.5) process (>=1.1.0.2 && <1.5)
agda-ghc-names	base (>=4.6.0.1 && <4.10) binary (>=0.7.2.1 && <0.9) containers (>=0.5.0.0 && <0.6) filemanip (>=0.3.6.3 && <0.4) filepath (>=1.3.0.1 && <1.5) haskell-src-exts (>=1.16.0.1 && <1.18) mtl (>=2.1.1 && <=2.1.3.1 \|\| >=2.2.1 && <2.3)

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

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