Dependencies for Agda-2.6.2.0.20211129
Libraries
Agda
- aeson (>=1.1.2.0 && <2.1)
- array (>=0.5.1.1 && <0.6)
- async (>=2.2 && <2.3)
- base (>=4.9.0.0 && <4.17)
- 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.12)
- case-insensitive (>=1.2.0.4 && <1.3)
- containers (>=0.5.11.0 && <0.7)
- data-hash (>=0.2.0.0 && <0.3)
- deepseq (>=1.4.2.0 && <1.5)
- directory (>=1.2.6.2 && <1.4)
- edit-distance (>=0.2.1.2 && <0.3)
- equivalence (>=0.3.2 && <0.4)
- exceptions (>=0.8 && <0.11)
- filepath (>=1.4.1.0 && <1.5)
- gitrev (>=1.3.1 && <2.0)
- hashable (>=1.2.1.0 && <1.5)
- hashtables (>=1.2.0.2 && <1.4)
- haskeline (>=0.7.2.3 && <0.9)
- monad-control (>=1.0.1.0 && <1.1)
- mtl (>=2.2.1 && <2.3)
- 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.2.4)
- stm (>=2.4.4 && <2.6)
- strict (>=0.3.2 && <0.5)
- template-haskell (>=2.11.0.0 && <2.19)
- text (>=1.2.3.0 && <1.3)
- time (>=1.6.0.1 && <1.13)
- transformers (>=0.5 && <0.7)
- unordered-containers (>=0.2.5.0 && <0.3)
- uri-encode (>=1.5.0.4 && <1.6)
- zlib (>=0.6 && <0.7)
- if flag(enable-cluster-counting)
- text-icu (>=0.7.1.0)
- if os(windows)
- Win32 (>=2.3.1.1 && <2.13)
- 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)
Executables
agda
agda-mode
- base (>=4.9.0.0 && <4.17)
- directory (>=1.2.6.2 && <1.4)
- filepath (>=1.4.1.0 && <1.5)
- 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