Dependencies for Agda-2.7.20250510
Libraries
Agda
- aeson (>=1.4.7.1 && <2.3)
- ansi-terminal (>=0.10.3 && <1.2)
- array (>=0.5.4.0 && <0.6)
- async (>=2.2.2 && <2.3)
- base (>=4.13.0.0 && <4.22)
- binary (>=0.8.7.0 && <0.9)
- blaze-html (>=0.9.1.2 && <0.10)
- boxes (>=0.1.5 && <0.2)
- bytestring (>=0.10.10.1 && <0.13)
- case-insensitive (>=1.2.1.0 && <1.3)
- containers (>=0.6.2.1 && <0.8)
- data-hash (>=0.2.0.1 && <0.3)
- deepseq (>=1.4.4.0 && <1.6)
- directory (>=1.3.6.0 && <1.4)
- dlist (>=0.8.0.8 && <1.1)
- edit-distance (>=0.2.2.1 && <0.3)
- enummapset (>=0.6.0.3 && <0.8)
- equivalence (>=0.3.5 && <0.5)
- exceptions (>=0.10.4 && <0.11)
- filelock (>=0.1.1.5 && <0.2)
- filemanip (>=0.3.6.3 && <0.4)
- filepath (>=1.4.2.1 && <1.6)
- generic-data (>=0.9.2.0 && <1.2)
- ghc-compact (>=0.1 && <0.2)
- gitrev (>=1.3.1 && <2)
- hashable (>=1.3.0.0 && <1.6)
- haskeline (>=0.7.5.0 && <0.9)
- monad-control (>=1.0.2.3 && <1.1)
- mtl (>=2.2.2 && <2.4)
- murmur-hash (>=0.1.0.9 && <0.2)
- nonempty-containers (>=0.3.4.1 && <0.4)
- parallel (>=3.2.2.0 && <3.3)
- peano (>=0.1.0.1 && <0.2)
- pqueue (>=1.4.1.3 && <1.6)
- pretty (>=1.1.3.6 && <1.2)
- process (>=1.6.9.0 && <1.7)
- process-extras (>=0.7.4 && <0.8)
- regex-tdfa (>=1.3.1.0 && <1.4)
- split (>=0.2.3.4 && <0.3)
- stm (>=2.5.0.0 && <2.6)
- STMonadTrans (>=0.4.5 && <0.5)
- strict (>=0.4.0.1 && <0.6)
- template-haskell (>=2.15.0.0 && <2.24)
- text (>=1.2.4.0 && <2.2)
- time (>=1.9.3 && <1.15)
- transformers (>=0.5.6.2 && <0.7)
- unordered-containers (>=0.2.10.0 && <0.3)
- uri-encode (>=1.5.0.7 && <1.6)
- vector (>=0.12.1.2 && <0.14)
- vector-hashtables (>=0.1.1.1 && <0.2)
- zlib (>=0.6.2.2 && <0.8)
- if flag(enable-cluster-counting)
- text-icu (>=0.7.1.0 && <0.9)
- if os(windows)
- Win32 (>=2.6.1.0 && <2.15)
- if impl(ghc<9.2)
- th-lift-instances (>=0.1.18 && <0.1.21)
Executables
agda
agda-mode
- base (>=4.13.0.0 && <4.22)
- bytestring (>=0.10.10.1 && <0.13)
- directory (>=1.3.6.0 && <1.4)
- filelock (>=0.1.1.5 && <0.2)
- filepath (>=1.4.2.1 && <1.6)
- gitrev (>=1.3.1 && <2)
- process (>=1.6.9.0 && <1.7)
- template-haskell (>=2.15.0.0 && <2.24)
- if impl(ghc<9.2)
- th-lift-instances (>=0.1.18 && <0.1.21)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| dump-core | Write GHC core output. | Disabled |
| 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