Index of /repos/f37-build/latest/riscv64/toplink/packages/idris/1.3.2/3.fc33/noarch

	Name	Last modified	Size	Description
	Parent Directory		-
	idris-manual-1.3.2-3.fc33.noarch.rpm	2020-05-14 02:26	519K
	idris-docs-1.3.2-3.fc33.noarch.rpm	2020-05-14 02:27	171K
	idris-common-1.3.2-3.fc33.noarch.rpm	2020-05-14 02:26	3.9M
	ghc-idris-doc-1.3.2-3.fc33.noarch.rpm	2020-05-14 02:27	2.1M