../ idris2-0.7.0-4.el9.aarch64.rpm 04-Jul-2025 11:51 14M idris2-doc-0.7.0-4.el9.noarch.rpm 04-Jul-2025 11:51 423K idris2-libs-0.7.0-4.el9.aarch64.rpm 04-Jul-2025 11:51 22K