Index of /pub/linux/gentoo/portage/app-emacs/company-coq

	Name	Last modified	Size
	Parent Directory		-
	files/	01-Oct-2023 13:40	-
	company-coq-1.0.1_p20220314.ebuild	19-Mar-2023 14:40	915
	Manifest	11-Aug-2023 18:10	1.5K
	metadata.xml	08-Mar-2022 14:40	905