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

	Name	Last modified	Size	Description
	Parent Directory		-
	Manifest	2021-11-26 15:40	1.2K
	files/	2021-12-07 16:10	-
	metadata.xml	2021-11-26 12:10	619
	metamath-0.198.ebuild	2021-11-26 15:40	632