| Name | Last modified | Size |
|---|---|---|
| Parent Directory | - | |
| agda-stdlib_2.3-1_all.deb | 2026-02-19 08:06 | 149M |
| agda-stdlib_2.1-4_all.deb | 2024-11-26 08:17 | 140M |
| agda-stdlib_1.7.3-1_all.deb | 2023-11-11 07:50 | 115M |
| agda-stdlib_1.3-2_all.deb | 2020-08-02 13:43 | 70M |
| agda-stdlib-doc_2.3-1_all.deb | 2026-02-19 08:05 | 3.6M |
| agda-stdlib-doc_2.1-4_all.deb | 2024-11-26 08:17 | 3.5M |
| agda-stdlib-doc_1.7.3-1_all.deb | 2023-11-11 07:50 | 2.8M |
| agda-stdlib-doc_1.3-2_all.deb | 2020-08-02 13:43 | 2.3M |