Dependencies for Agda-2.9.0
Libraries
Agda
- aeson (>=2.0.3.0 && <2.4)
- ansi-terminal (>=0.11.4 && <1.2)
- array (>=0.5.4.0 && <0.6)
- async (>=2.2.4 && <2.3)
- base (>=4.16.4.0 && <4.24)
- blaze-html (>=0.9.1.2 && <0.10)
- blaze-markup (>=0.8 && <0.9)
- boxes (>=0.1.5 && <0.2)
- bytestring (>=0.11.4.0 && <0.13)
- case-insensitive (>=1.2.1.0 && <1.3)
- containers (>=0.6.5.1 && <0.9)
- data-hash (>=0.2.0.1 && <0.3)
- deepseq (>=1.4.6.1 && <1.6)
- directory (>=1.3.6.2 && <1.4)
- dlist (>=1.0 && <1.1)
- edit-distance (>=0.2.2.1 && <0.3)
- enummapset (>=0.6.0.3 && <0.8)
- equivalence (>=0.4.1 && <0.5)
- exceptions (>=0.10.4 && <0.11)
- filemanip (>=0.3.6.3 && <0.4)
- filepath (>=1.4.2.1 && <1.6)
- generic-data (>=1.0.0.1 && <1.2)
- ghc-bignum (>=1.2 && <2)
- ghc-prim (>=0.8 && <0.15)
- hashable (>=1.4.2.0 && <1.6)
- haskeline (>=0.8.2 && <0.9)
- infinite-list (>=0.1.2 && <0.2)
- monad-control (>=1.0.3.1 && <1.1)
- mtl (>=2.2.2 && <2.4)
- murmur-hash (>=0.1.0.10 && <0.2)
- nonempty-containers (>=0.3.4.4 && <0.5)
- parallel (>=3.2.2.0 && <3.4)
- peano (>=0.1.0.1 && <0.2)
- pqueue (>=1.4.3.0 && <1.8)
- pretty (>=1.1.3.6 && <1.2)
- primitive (>=0.7 && <0.10)
- process (>=1.6.16.0 && <1.7)
- process-extras (>=0.7.4 && <0.8)
- regex-tdfa (>=1.3.2.1 && <1.4)
- split (>=0.2.3.5 && <0.3)
- stm (>=2.5.0.2 && <2.6)
- strict (>=0.4.0.1 && <0.6)
- template-haskell (>=2.18.0.0 && <2.26)
- text (>=1.2.5.0 && <2.3)
- time (>=1.11.1.1 && <1.17)
- transformers (>=0.5.6.2 && <0.7)
- unordered-containers (>=0.2.19.1 && <0.3)
- uri-encode (>=1.5.0.7 && <1.6)
- vector (>=0.12.3.1 && <0.14)
- vector-hashtables (>=0.1.2.0 && <0.2)
- zstd (>=0.1.3.0 && <0.2)
- if flag(enable-cluster-counting)
- text-icu (>=0.7.1.0 && <0.9)
- if flag(version-with-git-hash)
- gitrev (>=1.3.1 && <2)
- if os(windows)
- Win32 (>=2.6.1.0 && <2.15)
- if !arch(wasm32)
- filelock (>=0.1.1.6 && <0.2)
Executables
agda
agda-mode
- base (>=4.16.4.0 && <4.24)
- bytestring (>=0.11.4.0 && <0.13)
- directory (>=1.3.6.2 && <1.4)
- filepath (>=1.4.2.2 && <1.6)
- process (>=1.6.16.0 && <1.7)
- template-haskell (>=2.18.0.0 && <2.26)
- if flag(version-with-git-hash)
- gitrev (>=1.3.1 && <2)
- if !arch(wasm32)
- filelock (>=0.1.1.6 && <0.2)
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. | Enabled |
| use-xdg-data-home | Install data files under $XDG_DATA_HOME/agda/$AGDA_VERSION by default instead of the installation location defined by Cabal. This should not be enabled in declarative build environments like Nix or Guix. | Disabled |
| version-with-git-hash | Suffix version information with the Git commit hash when available. | Disabled |
| ignore-build-tool-depends | Ignore the build-tool-depends stanza, and trust user-provided tools on the PATH. This is intended to be used in declarative build environemnts like Nix or Guix, which will manage the installation of build tools like alex or happy. See github.comNixOSnixpkgsissues130556 and https://github.com/haskell/cabal/issues/8434 for more details. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info