Index of /fedora-epel/testing/10.3/Everything/x86_64/Packages/i

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]idris2-0.8.0-5.el10_3.x86_64.rpm2026-03-21 13:51 26M 
[ ]idris2-libs-0.8.0-5.el10_3.x86_64.rpm2026-03-21 13:51 25K 
[ ]idris2-doc-0.8.0-5.el10_3.noarch.rpm2026-03-21 13:51 369K 
Apache/2.4.66 (Debian) Server at debian.ruhr-uni-bochum.de Port 443