Dependencies for agda-snippets-2.5.1

There is a total of 8 dependencies in lts-6.17

<< Return to package page

• Agda-2.5.1
• agda-snippets-2.5.1
• base-4.8.2.0
• containers-0.5.6.2
• mtl-2.2.1@rev:1
• network-uri-2.6.1.0
• transformers-0.4.2.0
• xhtml-3000.2.1