Agda-2.6.3.1: dependencies | Hackage

Dependencies for Agda-2.6.3.1

library	aeson (>=1.1.2.0 && <2.3) array (>=0.5.1.1 && <0.6) async (>=2.2 && <2.3) base (>=4.9.0.0 && <4.21) binary (>=0.8.3.0 && <0.9) blaze-html (>=0.8 && <0.10) boxes (>=0.1.3 && <0.2) bytestring (>=0.10.8.1 && <0.13) case-insensitive (>=1.2.0.4 && <1.3) containers (>=0.5.11.0 && <0.8) data-hash (>=0.2.0.0 && <0.3) deepseq (>=1.4.2.0 && <1.6) directory (>=1.2.6.2 && <1.4) dlist (>=0.8 && <1.1) edit-distance (>=0.2.1.2 && <0.3) equivalence (>=0.3.2 && <0.5) exceptions (>=0.8 && <0.11) filepath (>=1.4.1.0 && <1.6) gitrev (>=1.3.1 && <2.0) hashable (>=1.2.1.0 && <1.6) haskeline (>=0.7.2.3 && <0.9) monad-control (>=1.0.1.0 && <1.1) mtl (>=2.2.1 && <2.4) murmur-hash (>=0.1 && <0.2) parallel (>=3.2.2.0 && <3.3) pretty (>=1.1.3.3 && <1.2) process (>=1.4.2.0 && <1.7) regex-tdfa (>=1.3.1.0 && <1.4) split (>=0.2.0.0 && <0.3) stm (>=2.4.4 && <2.6) STMonadTrans (>=0.4.3 && <0.5) strict (>=0.4.0.1 && <0.6) text (>=1.2.3.0 && <2.2) time (>=1.6.0.1 && <1.13) time-compat (>=1.9.2 && <1.10) transformers (>=0.5 && <0.7) unordered-containers (>=0.2.5.0 && <0.3) uri-encode (>=1.5.0.4 && <1.6) vector (>=0.12 && <0.14) vector-hashtables (>=0.1 && <0.2) zlib (>=0.6 && <0.8) if flag(enable-cluster-counting) text-icu (>=0.7.1.0) if os(windows) Win32 (>=2.3.1.1 && <2.15) if impl(ghc==8.6.1) buildable: False if os(windows) && impl(ghc==8.6.3) buildable: False if impl(ghc<8.4.1) \|\| impl(ghc>8.4.3) text (>=1.2.3.1) if impl(ghc>=8.4) ghc-compact (>=0.1 && <0.2)
agda	Agda base
agda-mode	base (>=4.9.0.0 && <4.21) directory (>=1.2.6.2 && <1.4) filepath (>=1.4.1.0 && <1.6) process (>=1.4.2.0 && <1.7)

Flags

Manual Flags

Name	Description	Default
cpphs	Use cpphs instead of cpp.	Disabled
debug	Enable debugging features that may slow Agda down.	Disabled

Automatic Flags

Name	Description	Default
enable-cluster-counting	Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)	Disabled
optimise-heavily	Enable some expensive optimisations when compiling Agda.	Disabled

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