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