Agda-2.6.20240731: dependencies | Hackage

Dependencies for Agda-2.6.20240731

library	aeson (>=1.1.2.0 && <2.3) ansi-terminal (>=0.9 && <1.2) array (>=0.5.2.0 && <0.6) async (>=2.2 && <2.3) base (>=4.12.0.0 && <4.21) binary (>=0.8.6.0 && <0.9) blaze-html (>=0.8 && <0.10) boxes (>=0.1.3 && <0.2) bytestring (>=0.10.8.2 && <0.13) case-insensitive (>=1.2.0.4 && <1.3) containers (>=0.6.0.1 && <0.8) data-hash (>=0.2.0.0 && <0.3) deepseq (>=1.4.4.0 && <1.6) directory (>=1.3.3.0 && <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.2.1 && <1.6) ghc-compact (>=0.1 && <0.2) gitrev (>=1.3.1 && <2) hashable (>=1.2.1.0 && <1.5) haskeline (>=0.7.4.3 && <0.9) monad-control (>=1.0.1.0 && <1.1) mtl (>=2.2.2 && <2.4) murmur-hash (>=0.1 && <0.2) parallel (>=3.2.2.0 && <3.3) peano (>=0.1.0.1 && <0.2) pqueue (>=1.4.1.2 && <1.6) pretty (>=1.1.3.3 && <1.2) process (>=1.6.3.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.1 && <2.2) time (>=1.9.2 && <1.15) transformers (>=0.5.5.0 && <0.7) unordered-containers (>=0.2.9.0 && <0.3) uri-encode (>=1.5.0.4 && <1.6) vector (>=0.12 && <0.14) vector-hashtables (>=0.1.1.1 && <0.2) zlib (>=0.6 && <0.8) if flag(enable-cluster-counting) text-icu (>=0.7.1.0) if os(windows) Win32 (>=2.6.1.0 && <2.15) if impl(ghc==8.6.1) buildable: False if os(windows) && impl(ghc==8.6.3) buildable: False
agda	Agda base
agda-mode	base (>=4.12.0.0 && <4.21) directory (>=1.3.3.0 && <1.4) filepath (>=1.4.2.1 && <1.6) process (>=1.6.3.0 && <1.7)

Flags

Manual Flags

Name	Description	Default
debug	Enable debug printing. This makes Agda slightly slower, and building Agda slower as well. The --verbose=N option only has an effect when Agda was built with this flag.	Disabled
debug-serialisation	Enable debug mode in serialisation. This makes serialisation slower.	Disabled
debug-parsing	Enable debug mode in parsing. This makes parsing slower.	Disabled
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