Index of /centos-vault/altarch/7/epel/armhfp/idris/0.9.9.1-2.el7/armv7hl
Name
Last modified
Size
Description
Parent Directory
-
idris-0.9.9.1-2.el7.armv7hl.rpm
2018-09-04 03:37
3.6M
Apache/2.4.66 (Debian) Server at mirror.noris.net Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}