idris2 Info

idris2 was added to epel10 repo on
Page updated: 2025-11-12 13:03
Repo Status - Overall Status

Source NVR: idris2-0.8.0-1.el10_2 ()

Binary Packages