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

	Name	Last modified	Size	Description
	Parent Directory		-
	metadata.xml	2022-02-27 05:09	1.0K
	Manifest	2024-06-10 16:11	2.1K
	coq-8.19.2.ebuild	2024-06-10 16:11	2.4K
	coq-8.19.0.ebuild	2024-05-24 00:41	2.4K
	coq-8.19.1.ebuild	2024-05-24 00:41	2.4K