Log in / Register
Ubuntu
agda-stdlib package
Overview
Code
Bugs
Blueprints
Translations
Answers
Patch attachments in agda-stdlib in Ubuntu Quantal
Quantal (12.10)
Patch attachments
There are no patches associated with agda-stdlib in Ubuntu Quantal at this time.