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

	Name	Last modified	Size
	Parent Directory		-
	coq-8.17.1.ebuild	16-Aug-2023 03:40	2.3K
	coq-8.18.0.ebuild	09-Sep-2023 19:40	2.3K
	Manifest	09-Sep-2023 19:40	1.5K
	metadata.xml	27-Feb-2022 04:09	1.0K