| Name | Last Modified | Size | Type | |
|---|---|---|---|---|
|
agda-stdlib_1.7.3-1_all.deb | 2024-07-13 00:43 | 115.084 KB | .deb |
|
agda-stdlib-doc_1.7.3-1_all.deb | 2024-07-13 00:43 | 2.969 KB | .deb |
2 items, 118.053 KB
For questions, suggestions and takedown requests contact: files@etlam.eu