Index of /sites/dl.fedoraproject.org/pub/epel/testing/10/Everything/aarch64/Packages/i/

Icon  Name                                                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                                                  -   
[   ] idris2-0.7.0-4.el10_1.aarch64.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.aarch64.rpm                                       2025-07-04 11:58   24K