Package Agda version 2.5.2-3 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
Win32 lib:Win32 >=2.2 && <2.4
array lib:array >=0.4.0.1 && <0.6
base lib:base >=4.6.0.1 && <4.10
base-orphans lib:base-orphans >=0.3.1 && <0.5
binary lib:binary >=0.7.2.1 && <0.9
boxes lib:boxes >=0.1.3 && <0.2
bytestring lib:bytestring >=0.10.0.2 && <0.11
containers lib:containers >=0.5.0.0 && <0.6
data-hash lib:data-hash >=0.2.0.0 && <0.3
deepseq lib:deepseq >=1.3.0.1 && <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.2.5 && <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.1.1 && <=2.1.3.1 || >=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.0 && <1.1.1.2 || >=1.1.2 && <1.2
process lib:process >=1.1.0.2 && <1.5
regex-tdfa lib:regex-tdfa >=1.2.2 && <1.3
semigroups lib:semigroups >=0.18 && <0.19
shuffle lib:shuffle >=0.1.3.3
strict lib:strict >=0.3.2 && <0.4
template-haskell lib:template-haskell >=2.8.0.0 && <2.12
text lib:text >=0.11.3.1 && <1.3
time lib:time >=1.4.0.1 && <1.7
transformers lib:transformers >=0.3 && <0.4 || >=0.4.1.0 && <0.6
transformers-compat lib:transformers-compat >=0.3.3.3 && <0.6
uhc-light lib:uhc-light >=1.1.9.2 && <1.2
uhc-util lib:uhc-util >=0.1.6.3 && <0.1.6.7
unordered-containers lib:unordered-containers >=0.2.5.0 && <0.3
uulib lib:uulib >=0.9.20
void lib:void >=0.5.4 && <0.9
xhtml lib:xhtml >=3000.2.1 && <3000.3
zlib lib:zlib (>=0.4.0.1 && <0.7) && >=0.4.0.1 && <0.6.1

Reverse dependencies

Direct only. Not exhaustive.

Agda exe:agda
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