← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda-stdlib/wily-proposed

From Revision 12

expand all expand all

Rev   Summary Authors Tags Date Diff Files
9
Upload to unstable
Iain Lane 0.7-2 11 years ago Diff Files