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

	Name	Last modified	Size	Description
	Parent Directory		-
	Manifest	2021-12-04 05:09	1.5K
	files/	2021-12-07 16:10	-
	lean-3.35.1-r2.ebuild	2021-12-04 05:09	1.7K
	lean-3.9999.ebuild	2021-12-04 05:09	1.7K
	metadata.xml	2021-11-26 15:40	656