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

 Name                                       Last modified      Size  Description
 Parent Directory                                                -   
 idris2-0.7.0-4.el10_1.x86_64.rpm           2025-07-04 05:58   14M  
 idris2-doc-0.7.0-4.el10_1.noarch.rpm       2025-07-04 05:58  359K  
 idris2-libs-0.7.0-4.el10_1.x86_64.rpm      2025-07-04 05:58   24K