| name | size | date |
|---|---|---|
| agda-stdlib_1.7.3-1_all.deb | 114.96M | 2025-09-12 22:49:31 |
| agda-stdlib-doc_1.7.3-1_all.deb | 2.84M | 2025-09-12 22:49:23 |
| agda-stdlib_1.7.1-1_all.deb | 97.96M | 2023-08-11 03:17:24 |
| agda-stdlib-doc_1.7.1-1_all.deb | 2.84M | 2023-08-11 03:17:09 |
| agda-stdlib_1.3-2_all.deb | 69.83M | 2022-02-24 21:24:26 |
| agda-stdlib-doc_1.3-2_all.deb | 2.33M | 2022-02-24 21:24:22 |