Name	Last modified	Size
Parent Directory		-
idris2-0.7.0-4.el9.x86_64.rpm	2025-07-04 06:51	14M
idris2-doc-0.7.0-4.el9.noarch.rpm	2025-07-04 06:51	423K
idris2-libs-0.7.0-4.el9.x86_64.rpm	2025-07-04 06:51	23K