Index of /rpmbuild/epel-pass-1/21890-idris-0.9.9.1-2.el7

Icon  Name                        Last modified      Size  
[PARENTDIR] Parent Directory                                 -   
[DIR] armv7hl/                    2018-09-04 01:37    -   
[   ] idris-0.9.9.1-2.el7.src.rpm 2018-09-04 01:37  331K