Index of /gentoo-portage/dev-lang/idris2

	Name	Last modified	Size	Description
	Parent Directory		-
	Manifest	2021-11-28 00:10	927
	idris2-0.5.1_p20211112.ebuild	2021-11-27 23:40	2.5K
	metadata.xml	2021-11-28 00:10	1.1K