About
Snapshots
LTS
Nightly
FAQ
Blog
Dependencies for agda-snippets-2.4.2.5
There is a total of 8 dependencies in
nightly-2016-01-29
<< Return to package page
Agda-2.4.2.5@rev:2
agda-snippets-2.4.2.5@rev:1
base-4.8.2.0
containers-0.5.6.2
mtl-2.2.1@rev:1
network-uri-2.6.0.3
transformers-0.4.2.0
xhtml-3000.2.1