Index of /pub/epel/testing/10/Everything/aarch64/Packages/i/

../
idris2-0.8.0-1.el10_2.aarch64.rpm                  07-Nov-2025 23:10            14731586
idris2-doc-0.8.0-1.el10_2.noarch.rpm               07-Nov-2025 23:10              377063
idris2-libs-0.8.0-1.el10_2.aarch64.rpm             07-Nov-2025 23:10               24682