Index of /epel/testing/10.1/Everything/aarch64/Packages/i/

../
idris2-0.7.0-4.el10_1.aarch64.rpm                  04-Jul-2025 10:58     14M
idris2-doc-0.7.0-4.el10_1.noarch.rpm               04-Jul-2025 10:58    359K
idris2-libs-0.7.0-4.el10_1.aarch64.rpm             04-Jul-2025 10:58     24K