| 📂 Parent Directory | | |
| 📄 agda-stdlib-doc_0.17-1_all.deb | 2018-11-24 01:48:23 | 1.33 MB |
| 📄 agda-stdlib-doc_1.3-2_all.deb | 2020-08-01 13:34:37 | 2.35 MB |
| 📄 agda-stdlib-doc_1.7.1-1_all.deb | 2022-08-06 18:46:28 | 2.9 MB |
| 📄 agda-stdlib-doc_2.1-4_all.deb | 2024-11-25 19:39:51 | 3.6 MB |
| 📄 agda-stdlib_0.17-1.debian.tar.xz | 2018-11-24 01:07:35 | 5.19 KB |
| 📄 agda-stdlib_0.17-1.dsc | 2018-11-24 01:07:35 | 2.18 KB |
| 📄 agda-stdlib_0.17-1_all.deb | 2018-11-24 01:48:23 | 31.49 MB |
| 📄 agda-stdlib_0.17.orig.tar.gz | 2018-11-24 01:07:35 | 388.02 KB |
| 📄 agda-stdlib_1.3-2.debian.tar.xz | 2020-08-01 12:54:22 | 5.51 KB |
| 📄 agda-stdlib_1.3-2.dsc | 2020-08-01 12:54:22 | 2.06 KB |
| 📄 agda-stdlib_1.3-2_all.deb | 2020-08-01 13:34:37 | 69.84 MB |
| 📄 agda-stdlib_1.3.orig.tar.gz | 2020-07-31 11:50:17 | 733.8 KB |
| 📄 agda-stdlib_1.7.1-1.debian.tar.xz | 2022-08-06 17:10:24 | 5.53 KB |
| 📄 agda-stdlib_1.7.1-1.dsc | 2022-08-06 17:10:24 | 2.11 KB |
| 📄 agda-stdlib_1.7.1-1_all.deb | 2022-08-06 18:46:28 | 95.41 MB |
| 📄 agda-stdlib_1.7.1.orig.tar.gz | 2022-08-06 17:10:24 | 918.1 KB |
| 📄 agda-stdlib_2.1-4.debian.tar.xz | 2024-11-25 19:03:47 | 5.92 KB |
| 📄 agda-stdlib_2.1-4.dsc | 2024-11-25 19:03:47 | 2.17 KB |
| 📄 agda-stdlib_2.1-4_all.deb | 2024-11-25 19:39:51 | 137.05 MB |
| 📄 agda-stdlib_2.1.orig.tar.gz | 2024-10-18 21:34:32 | 1.16 MB |
