| name | size | date |
|---|---|---|
| agda-stdlib-doc_2.1-4_all.deb | 3.60M | 2024-11-25 19:39:51 |
| agda-stdlib_2.1-4_all.deb | 137.05M | 2024-11-25 19:39:51 |
| agda-stdlib_2.1-4.debian.tar.xz | 5.9K | 2024-11-25 19:03:47 |
| agda-stdlib_2.1-4.dsc | 2.2K | 2024-11-25 19:03:47 |
| agda-stdlib_2.1.orig.tar.gz | 1.16M | 2024-10-18 21:34:32 |
| agda-stdlib-doc_1.7.1-1_all.deb | 2.90M | 2022-08-06 18:46:28 |
| agda-stdlib_1.7.1-1_all.deb | 95.41M | 2022-08-06 18:46:28 |
| agda-stdlib_1.7.1-1.debian.tar.xz | 5.5K | 2022-08-06 17:10:24 |
| agda-stdlib_1.7.1-1.dsc | 2.1K | 2022-08-06 17:10:24 |
| agda-stdlib_1.7.1.orig.tar.gz | 0.90M | 2022-08-06 17:10:24 |
| agda-stdlib-doc_1.3-2_all.deb | 2.35M | 2020-08-01 13:34:37 |
| agda-stdlib_1.3-2_all.deb | 69.84M | 2020-08-01 13:34:37 |
| agda-stdlib_1.3-2.debian.tar.xz | 5.5K | 2020-08-01 12:54:22 |
| agda-stdlib_1.3-2.dsc | 2.1K | 2020-08-01 12:54:22 |
| agda-stdlib_1.3.orig.tar.gz | 0.72M | 2020-07-31 11:50:17 |