Package Agda version 2.6.4-1 component lib:Agda

The latest version of Agda is 2.7.0.1-0.

lib:Agda

Modules

Dependencies

STMonadTrans lib:STMonadTrans >=0.4.3 && <0.5
Win32 lib:Win32 >=2.6.1.0 && <2.14
aeson lib:aeson >=1.1.2.0 && <2.3
ansi-terminal lib:ansi-terminal >=0.9 && <1.1
array lib:array >=0.5.2.0 && <0.6
async lib:async >=2.2 && <2.3
base lib:base >=4.12.0.0 && <4.20
binary lib:binary >=0.8.6.0 && <0.9
blaze-html lib:blaze-html >=0.8 && <0.10
boxes lib:boxes >=0.1.3 && <0.2
bytestring lib:bytestring >=0.10.8.2 && <0.13
case-insensitive lib:case-insensitive >=1.2.0.4 && <1.3
containers lib:containers >=0.6.0.1 && <0.8
data-hash lib:data-hash >=0.2.0.0 && <0.3
deepseq lib:deepseq >=1.4.4.0 && <1.6
directory lib:directory >=1.3.3.0 && <1.4
dlist lib:dlist >=0.8 && <1.1
edit-distance lib:edit-distance >=0.2.1.2 && <0.3
equivalence lib:equivalence >=0.3.2 && <0.5
exceptions lib:exceptions >=0.8 && <0.11
filepath lib:filepath >=1.4.2.1 && <1.5
ghc-compact lib:ghc-compact >=0.1 && <0.2
gitrev lib:gitrev >=1.3.1 && <2
hashable lib:hashable >=1.2.1.0 && <1.5
haskeline lib:haskeline >=0.7.4.3 && <0.9
monad-control lib:monad-control >=1.0.1.0 && <1.1
mtl lib:mtl >=2.2.2 && <2.4
murmur-hash lib:murmur-hash >=0.1 && <0.2
parallel lib:parallel >=3.2.2.0 && <3.3
peano lib:peano >=0.1.0.1 && <0.2
pretty lib:pretty >=1.1.3.3 && <1.2
process lib:process >=1.6.3.0 && <1.7
regex-tdfa lib:regex-tdfa >=1.3.1.0 && <1.4
split lib:split >=0.2.0.0 && <0.3
stm lib:stm >=2.4.4 && <2.6
strict lib:strict >=0.4.0.1 && <0.6
text lib:text >=1.2.3.1 && <2.2
text-icu lib:text-icu >=0.7.1.0
time lib:time >=1.8.0.2 && <1.13
time-compat lib:time-compat >=1.9.2 && <1.10
transformers lib:transformers >=0.5.5.0 && <0.7
unordered-containers lib:unordered-containers >=0.2.9.0 && <0.3
uri-encode lib:uri-encode >=1.5.0.4 && <1.6
vector lib:vector >=0.12 && <0.14
vector-hashtables lib:vector-hashtables >=0.1 && <0.2
zlib lib:zlib >=0.6 && <0.7

Reverse dependencies

Direct only. Not exhaustive.

acme-everything lib:acme-everything
activehs exe:activehs
agda-server exe:agda-server
agda-snippets exe:agda-snippets
hakyll-agda lib:hakyll-agda
lhs2TeX-hl exe:lhs2TeX-hl