Dependencies for Agda-2.6.3.20230930

Libraries

aeson (>=1.1.2.0 && <2.3)
ansi-terminal (>=0.9 && <1.1)
array (>=0.5.2.0 && <0.6)
async (>=2.2 && <2.3)
base (>=4.12.0.0 && <4.20)
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.5)
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)
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.2.4)
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.8.0.2 && <1.13)
time-compat (>=1.9.2 && <1.10)
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 && <0.2)
zlib (>=0.6 && <0.7)
if flag(enable-cluster-counting)
- text-icu (>=0.7.1.0)
if os(windows)
- Win32 (>=2.6.1.0 && <2.14)
if impl(ghc==8.6.1)
- buildable: False
if os(windows) && impl(ghc==8.6.3)
- buildable: False

Name	Description	Default
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