| Name | Last Modified | Size | Type | |
|---|---|---|---|---|
|
agda_2.6.3-1_all.deb | 2024-07-13 00:43 | 20 KB | .deb |
|
elpa-agda2-mode_2.6.3-1_all.deb | 2024-07-13 00:43 | 58 KB | .deb |
|
libghc-agda-doc_2.6.3-1_all.deb | 2024-07-13 00:43 | 6.795 KB | .deb |
3 items, 6.873 KB
For questions, suggestions and takedown requests contact: files@etlam.eu