Index of /centos-altarch/7/epel/armhfp/idris/0.9.9.1-2.el7/armv7hl/

../
idris-0.9.9.1-2.el7.armv7hl.rpm                    04-Sep-2018 08:37      4M

mirror server hosted at Truenetwork, Russian Federation.