| / | | |
| agda-stdlib-doc_1.3-2_all.deb | 2,460,172 | Sat, 01 Aug 2020 13:34:37 +0000 |
| agda-stdlib-doc_1.7.1-1_all.deb | 3,039,368 | Sat, 06 Aug 2022 18:46:28 +0000 |
| agda-stdlib-doc_2.1-4_all.deb | 3,780,056 | Mon, 25 Nov 2024 19:39:51 +0000 |
| agda-stdlib_1.3-2.debian.tar.xz | 5,640 | Sat, 01 Aug 2020 12:54:22 +0000 |
| agda-stdlib_1.3-2.dsc | 2,113 | Sat, 01 Aug 2020 12:54:22 +0000 |
| agda-stdlib_1.3-2_all.deb | 73,237,088 | Sat, 01 Aug 2020 13:34:37 +0000 |
| agda-stdlib_1.3.orig.tar.gz | 751,412 | Fri, 31 Jul 2020 11:50:17 +0000 |
| agda-stdlib_1.7.1-1.debian.tar.xz | 5,664 | Sat, 06 Aug 2022 17:10:24 +0000 |
| agda-stdlib_1.7.1-1.dsc | 2,157 | Sat, 06 Aug 2022 17:10:24 +0000 |
| agda-stdlib_1.7.1-1_all.deb | 100,043,028 | Sat, 06 Aug 2022 18:46:28 +0000 |
| agda-stdlib_1.7.1.orig.tar.gz | 940,131 | Sat, 06 Aug 2022 17:10:24 +0000 |
| agda-stdlib_2.1-4.debian.tar.xz | 6,060 | Mon, 25 Nov 2024 19:03:47 +0000 |
| agda-stdlib_2.1-4.dsc | 2,224 | Mon, 25 Nov 2024 19:03:47 +0000 |
| agda-stdlib_2.1-4_all.deb | 143,710,196 | Mon, 25 Nov 2024 19:39:51 +0000 |
| agda-stdlib_2.1.orig.tar.gz | 1,211,622 | Fri, 18 Oct 2024 21:34:32 +0000 |