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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
idris-0.9.9.1-2.el7.armv7hl.rpm	3.6 MiB	2018-09-04 09:37:43