Dependencies for agda-snippets-2.4.2.4

There is a total of 7 dependencies in nightly-2015-12-05

<< Return to package page

• Agda-2.4.2.4@rev:1
• agda-snippets-2.4.2.4@rev:1
• base-4.8.1.0
• containers-0.5.6.2
• mtl-2.2.1@rev:1
• network-uri-2.6.0.3
• xhtml-3000.2.1