Gentoo Packages

Package: app-emacs/company-coq

This package is available in the following overlays:

Overlay	Versions Available
gentoo	=app-emacs/company-coq-1.0.1_p20220314::gentoo
melpa	=app-emacs/company-coq-20260223.1721::melpa
melpa-stable	=app-emacs/company-coq-1.0.1::melpa-stable