idris2 was added to epel10 repo on 2025-07-13
Page updated: 2025-12-06 17:41
Repo Status -
Overall Status
Source NVR: idris2-0.8.0-1.el10_2 (2025-07-13)
| idris2 | idris2-0.8.0-1.el10_2 |
| idris2-doc | idris2-doc-0.8.0-1.el10_2 |
| idris2-libs | idris2-libs-0.8.0-1.el10_2 |