Index of /gentoo-portage/sci-mathematics/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	Manifest	2021-09-11 16:40	1.2K
	agda-2.6.1.2.ebuild	2021-03-16 00:39	5.0K
	files/	2021-12-07 15:39	-
	metadata.xml	2021-09-11 16:40	1.7K