Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
agda-stdlib-doc_0.8-2_all.deb | 2014-08-12 09:40 | 1.2M | ||
agda-stdlib-doc_0.12-2_all.deb | 2016-06-23 18:55 | 1.2M | ||
agda-stdlib_0.8-2_all.deb | 2014-08-12 09:40 | 22M | ||
agda-stdlib_0.12-2_all.deb | 2016-06-23 18:55 | 16M | ||