Welcome to NYCU CSIT Mirror site

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

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