idris2 was added to epel9 repo on 2025-10-07
Page updated: 2025-10-08 01:41
Repo Status -
Overall Status
Source NVR: idris2-0.7.0-4.el9 (2025-10-07)
| idris2 | idris2-0.7.0-4.el9 |
| idris2-doc | idris2-doc-0.7.0-4.el9 |
| idris2-libs | idris2-libs-0.7.0-4.el9 |