Index of /testing/10.1z/Everything/x86_64/Packages/i

 NameLast modifiedSizeDescription
 Parent Directory  -  
 idris2-0.7.0-4.el10_1.x86_64.rpm2025-07-04 18:58 14M 
 idris2-doc-0.7.0-4.el10_1.noarch.rpm2025-07-04 18:58 359K 
 idris2-libs-0.7.0-4.el10_1.x86_64.rpm2025-07-04 18:58 24K