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

	Name	Last modified	Size
	Parent Directory		-
	coq-8.19.0.ebuild	23-May-2024 23:41	2.4K
	coq-8.19.1.ebuild	23-May-2024 23:41	2.4K
	coq-8.19.2.ebuild	10-Jun-2024 15:11	2.4K
	Manifest	10-Jun-2024 15:11	2.1K
	metadata.xml	27-Feb-2022 04:09	1.0K