Index of /repos/rawhide/latest/riscv64/toplink/packages/idris/1.3.4/5.fc37/noarch

	Name	Last modified	Size	Description
	Parent Directory		-
	ghc-idris-doc-1.3.4-5.fc37.noarch.rpm	2022-11-07 19:25	2.4M
	idris-common-1.3.4-5.fc37.noarch.rpm	2022-11-07 19:24	4.0M
	idris-manual-1.3.4-5.fc37.noarch.rpm	2022-11-07 19:24	630K
	idris-docs-1.3.4-5.fc37.noarch.rpm	2022-11-07 19:24	182K