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