Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda-stdlib-doc_1.3-2_all.deb | 2024-08-13 14:08 | 2.3M | ||
agda-stdlib_1.3-2_all.deb | 2024-08-13 14:08 | 70M | ||
agda-stdlib_1.7.3-1_all.deb | 2024-08-14 12:51 | 112M | ||
agda-stdlib-doc_1.7.3-1_all.deb | 2024-08-14 12:51 | 2.9M | ||