Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda-stdlib-doc_1.1-1_all.deb | 2019-09-06 15:48 | 1.8M | ||
agda-stdlib-doc_1.3-2_all.deb | 2020-08-02 05:43 | 2.3M | ||
agda-stdlib-doc_1.7.3-1_all.deb | 2023-11-10 23:50 | 2.8M | ||
agda-stdlib_1.1-1_all.deb | 2019-09-06 15:48 | 45M | ||
agda-stdlib_1.3-2_all.deb | 2020-08-02 05:43 | 70M | ||
agda-stdlib_1.7.3-1_all.deb | 2023-11-10 23:50 | 115M | ||