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

Name	Size	Date
📁 ../	-	-
📄 idris-0.9.9.1-2.el7.armv7hl.rpm	3769416 bytes	2018-09-04 01:37:43