| Parent directory/ | - | - |
| agda-stdlib-doc_0.11-1_all.deb | 1M | 2016-Jan-05 01:20 |
| agda-stdlib-doc_0.13-1_all.deb | 1M | 2017-Jul-10 12:28 |
| agda-stdlib-doc_0.14-1_all.deb | 1M | 2017-Nov-26 18:04 |
| agda-stdlib-doc_0.6-2_all.deb | 2M | 2012-Mar-18 22:03 |
| agda-stdlib-doc_0.7-2_all.deb | 2M | 2013-May-27 23:33 |
| agda-stdlib_0.11-1.debian.tar.xz | 4600 | 2016-Jan-04 23:25 |
| agda-stdlib_0.11-1.dsc | 2105 | 2016-Jan-04 23:25 |
| agda-stdlib_0.11-1_all.deb | 17M | 2016-Jan-05 01:20 |
| agda-stdlib_0.11.orig.tar.gz | 247K | 2016-Jan-04 23:25 |
| agda-stdlib_0.13-1.debian.tar.xz | 5040 | 2017-Jul-07 05:08 |
| agda-stdlib_0.13-1.dsc | 2091 | 2017-Jul-07 05:08 |
| agda-stdlib_0.13-1_all.deb | 16M | 2017-Jul-10 12:28 |
| agda-stdlib_0.13.orig.tar.gz | 258K | 2017-Jul-07 05:08 |
| agda-stdlib_0.14-1.debian.tar.xz | 5188 | 2017-Nov-26 17:08 |
| agda-stdlib_0.14-1.dsc | 2100 | 2017-Nov-26 17:08 |
| agda-stdlib_0.14-1_all.deb | 17M | 2017-Nov-26 18:04 |
| agda-stdlib_0.14.orig.tar.gz | 279K | 2017-Nov-26 11:14 |
| agda-stdlib_0.6-2.debian.tar.gz | 4226 | 2012-Mar-18 21:33 |
| agda-stdlib_0.6-2.dsc | 1437 | 2012-Mar-18 21:33 |
| agda-stdlib_0.6-2_all.deb | 16M | 2012-Mar-18 22:03 |
| agda-stdlib_0.6.orig.tar.gz | 211K | 2012-Jan-04 01:04 |
| agda-stdlib_0.7-2.debian.tar.gz | 4455 | 2013-May-27 23:33 |
| agda-stdlib_0.7-2.dsc | 2077 | 2013-May-27 23:33 |
| agda-stdlib_0.7-2_all.deb | 17M | 2013-May-27 23:33 |
| agda-stdlib_0.7.orig.tar.gz | 221K | 2013-Apr-10 18:03 |