Index of /sites/download.fedora.redhat.com/pub/epel/testing/10/Everything/x86_64/Packages/i/

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