Index of /epel/testing/10.1z/Everything/aarch64/Packages/i

	Name	Last modified	Size
	Parent Directory		-
	idris2-0.7.0-4.el10_1.aarch64.rpm	2025-07-04 13:58	14M
	idris2-libs-0.7.0-4.el10_1.aarch64.rpm	2025-07-04 13:58	24K
	idris2-doc-0.7.0-4.el10_1.noarch.rpm	2025-07-04 13:58	359K