Package Agda version 2.5.3-5 component lib:Agda

The latest version of Agda is 2.7.0.1-2.

lib:Agda

Modules

Dependencies

EdisonCore lib:EdisonCore ==1.3.1.1 || >=1.3.2.1 && <1.4
Win32 lib:Win32 >=2.2 && <2.6
array lib:array >=0.5.0.0 && <0.6
async lib:async >=2.0.2 && <2.2
base lib:base >=4.7.0.2 && <4.11
binary lib:binary >=0.7.2.1 && <0.9
blaze-html lib:blaze-html >=0.8 && <0.10
boxes lib:boxes >=0.1.3 && <0.2
bytestring lib:bytestring >=0.10.4.0 && <0.11
containers lib:containers >=0.5.5.1 && <0.6
data-hash lib:data-hash >=0.2.0.0 && <0.3
deepseq lib:deepseq >=1.3.0.2 && <1.5
directory lib:directory >=1.2.0.1 && <1.4
edit-distance lib:edit-distance >=0.2.1.2 && <0.3
equivalence lib:equivalence >=0.3.2 && <0.4
fail lib:fail >=4.9 && <4.10
filepath lib:filepath >=1.3.0.1 && <1.5
geniplate-mirror lib:geniplate-mirror >=0.6.0.6 && <0.8
gitrev lib:gitrev >=1.2 && <2.0
hashable lib:hashable >=1.2.1.0 && <1.3
hashtables lib:hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3
haskeline lib:haskeline >=0.7.1.3 && <0.8
ieee754 lib:ieee754 >=0.7.8 && <0.9
monadplus lib:monadplus >=1.4 && <1.5
mtl lib:mtl >=2.2.1 && <2.3
murmur-hash lib:murmur-hash >=0.1 && <0.2
parallel lib:parallel >=3.2.0.4 && <3.3
pretty lib:pretty >=1.1.1.1 && <1.1.1.2 || >=1.1.2 && <1.2
process lib:process >=1.2.0.0 && <1.7
regex-tdfa lib:regex-tdfa >=1.2.2 && <1.3
semigroups lib:semigroups >=0.18 && <0.19
stm lib:stm >=2.4.4 && <2.5
strict lib:strict >=0.3.2 && <0.4
template-haskell lib:template-haskell >=2.9.0.0 && <2.13
text lib:text >=0.11.3.1 && <1.3
text-icu lib:text-icu >=0.7 && <0.8
time lib:time >=1.4.2 && <1.9
transformers lib:transformers >=0.4.2.0 && <0.6
unordered-containers lib:unordered-containers >=0.2.5.0 && <0.3
uri-encode lib:uri-encode >=1.5.0.4 && <1.6
void lib:void >=0.5.4 && <0.9
zlib lib:zlib (>=0.4.0.1 && <0.7) && >=0.4.0.1 && <0.6.1

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