Index of /pub/linux/fedora/epel/testing/10.3/Everything/aarch64/Packages/i

	Name	Last modified	Size	Description
	Parent Directory		-
	idris2-0.8.0-5.el10_..>	2026-03-21 12:51	25M
	idris2-doc-0.8.0-5.e..>	2026-03-21 12:51	369K
	idris2-libs-0.8.0-5...>	2026-03-21 12:51	25K