Index of /pub/linux/fedora/epel/testing/10/Everything/x86_64/Packages/i/

../
idris2-0.7.0-4.el10_1.x86_64.rpm                   04-Jul-2025 10:58            14673278
idris2-doc-0.7.0-4.el10_1.noarch.rpm               04-Jul-2025 10:58              367914
idris2-libs-0.7.0-4.el10_1.x86_64.rpm              04-Jul-2025 10:58               24575