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

../
idris2-0.7.0-4.el10_1.aarch64.rpm                  04-Jul-2025 05:58            14290385
idris2-doc-0.7.0-4.el10_1.noarch.rpm               04-Jul-2025 05:58              367914
idris2-libs-0.7.0-4.el10_1.aarch64.rpm             04-Jul-2025 05:58               24432