Mirror provided by KnownHost

Index of /epel/testing/9/Everything/x86_64/Packages/i/

../
idris2-0.7.0-4.el9.x86_64.rpm                      04-Jul-2025 11:51            14672809
idris2-doc-0.7.0-4.el9.noarch.rpm                  04-Jul-2025 11:51              432675
idris2-libs-0.7.0-4.el9.x86_64.rpm                 04-Jul-2025 11:51               23237