Log in / Register
Ubuntu
agda-bin package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #725364
Comment #2
Comment 2 for bug 725364
Revision history for this message
Iain Lane (laney)
wrote
on 2011-02-26
:
#2
agda-stdlib.debdiff
Edit
(678.8 KiB, text/plain)