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

Icon  Name                        Last modified      Size  
[PARENTDIR] Parent Directory                                 -   
[DIR] armv7hl/                    2018-03-10 13:38    -   
[   ] idris-0.9.9.1-2.el7.src.rpm 2018-03-10 13:39  332K