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