| Parent directory/ | - | - |
| agda-stdlib-doc_0.3-3fakesync_all.deb | 1M | 26-May-2010 06:05 |
| agda-stdlib-doc_0.5-1_all.deb | 1M | 17-Jun-2011 17:05 |
| agda-stdlib-doc_0.5-1~ubuntu1_all.deb | 1M | 01-Mar-2011 01:04 |
| agda-stdlib-doc_0.6-2_all.deb | 2M | 18-Mar-2012 22:03 |
| agda-stdlib-doc_0.7-1_all.deb | 2M | 10-Apr-2013 20:03 |
| agda-stdlib_0.3-3fakesync_i386.deb | 11M | 26-May-2010 06:05 |
| agda-stdlib_0.5-1_all.deb | 15M | 17-Jun-2011 17:05 |
| agda-stdlib_0.5-1~ubuntu1_all.deb | 15M | 01-Mar-2011 01:04 |
| agda-stdlib_0.6-2_all.deb | 16M | 18-Mar-2012 22:03 |
| agda-stdlib_0.7-1_all.deb | 17M | 10-Apr-2013 20:03 |