idris Info

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)

Binary Packages

idris idris-0.9.9.1-2.el7

Bugs

Install Failures