← Back to branch summary

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

From Revision 2

expand all expand all

Rev   Summary Authors Tags Date Diff Files
2
Initial release. (Closes: #522914)
Iain Lane 0.3-1 14 years ago Diff Files
1
Import upstream version 0.3
Iain Lane upstream-0.3 14 years ago Diff Files