idris was added to epel7 repo on 2014-04-21 Page updated: 2023-11-21 11:36 Repo Status - Overall Status
Source NVR: idris-0.9.9.1-2.el7 (2017-01-11)