| ../ | | - | Directory |
| agda-stdlib-doc_0.11-1_all.deb | 2016-Jan-05 06:50:13 | 1.2M | application/vnd.debian.binary-package |
| agda-stdlib-doc_0.14-1_all.deb | 2017-Nov-26 23:34:45 | 1.0M | application/vnd.debian.binary-package |
| agda-stdlib-doc_0.7-2_all.deb | 2013-May-28 05:03:48 | 1.6M | application/vnd.debian.binary-package |
| agda-stdlib-doc_1.1-1_all.deb | 2019-Sep-06 21:18:27 | 1.8M | application/vnd.debian.binary-package |
| agda-stdlib-doc_1.3-2_all.deb | 2020-Aug-02 11:13:41 | 2.3M | application/vnd.debian.binary-package |
| agda-stdlib-doc_1.7.1-1_all.deb | 2022-Aug-27 00:39:39 | 2.8M | application/vnd.debian.binary-package |
| agda-stdlib_0.11-1.debian.tar.xz | 2016-Jan-05 04:55:05 | 4.5K | application/x-xz |
| agda-stdlib_0.11-1.dsc | 2016-Jan-05 04:55:05 | 2.0K | text/prs.lines.tag |
| agda-stdlib_0.11-1_all.deb | 2016-Jan-05 06:50:12 | 16.7M | application/vnd.debian.binary-package |
| agda-stdlib_0.11.orig.tar.gz | 2016-Jan-05 04:55:05 | 247.3K | application/x-gtar-compressed |
| agda-stdlib_0.14-1.debian.tar.xz | 2017-Nov-26 22:38:38 | 5.0K | application/x-xz |
| agda-stdlib_0.14-1.dsc | 2017-Nov-26 22:38:38 | 2.0K | text/prs.lines.tag |
| agda-stdlib_0.14-1_all.deb | 2017-Nov-26 23:34:46 | 17.3M | application/vnd.debian.binary-package |
| agda-stdlib_0.14.orig.tar.gz | 2017-Nov-26 16:44:14 | 278.7K | application/x-gtar-compressed |
| agda-stdlib_0.7-2.debian.tar.gz | 2013-May-28 05:03:44 | 4.3K | application/x-gtar-compressed |
| agda-stdlib_0.7-2.dsc | 2013-May-28 05:03:44 | 2.0K | text/prs.lines.tag |
| agda-stdlib_0.7-2_all.deb | 2013-May-28 05:03:50 | 17.3M | application/vnd.debian.binary-package |
| agda-stdlib_0.7.orig.tar.gz | 2013-Apr-10 23:33:22 | 221.0K | application/x-gtar-compressed |
| agda-stdlib_1.1-1.debian.tar.xz | 2019-Sep-06 21:18:22 | 5.4K | application/x-xz |
| agda-stdlib_1.1-1.dsc | 2019-Sep-06 21:18:22 | 2.0K | text/prs.lines.tag |
| agda-stdlib_1.1-1_all.deb | 2019-Sep-06 21:18:27 | 45.1M | application/vnd.debian.binary-package |
| agda-stdlib_1.1.orig.tar.gz | 2019-Sep-04 19:08:22 | 556.7K | application/x-gtar-compressed |
| agda-stdlib_1.3-2.debian.tar.xz | 2020-Aug-02 10:43:38 | 5.5K | application/x-xz |
| agda-stdlib_1.3-2.dsc | 2020-Aug-02 10:43:38 | 2.0K | text/prs.lines.tag |
| agda-stdlib_1.3-2_all.deb | 2020-Aug-02 11:13:42 | 69.8M | application/vnd.debian.binary-package |
| agda-stdlib_1.3.orig.tar.gz | 2020-Aug-02 05:03:38 | 733.8K | application/x-gtar-compressed |
| agda-stdlib_1.7.1-1.debian.tar.xz | 2022-Aug-07 04:49:17 | 5.5K | application/x-xz |
| agda-stdlib_1.7.1-1.dsc | 2022-Aug-07 04:49:17 | 2.1K | text/prs.lines.tag |
| agda-stdlib_1.7.1-1_all.deb | 2022-Aug-27 00:39:39 | 97.9M | application/vnd.debian.binary-package |
| agda-stdlib_1.7.1.orig.tar.gz | 2022-Aug-07 04:49:17 | 918.0K | application/x-gtar-compressed |