← Back to branch summary

~ubuntu-branches/ubuntu/raring/agda/raring-proposed

From Revision 1

expand all expand all

Rev   Summary Authors Tags Date Diff Files
1
Import upstream version 2.2.4+dfsg
Iain Lane upstream-2.2.4+dfsg 14 years ago Diff Files