Gentoo Packages

Package: app-emacs/company-coq

This package is available in the following overlays:

Overlay Versions Available
gentoo
  • 1.0.1_p20220314
melpa
  • 20260223.1721
melpa-stable
  • 1.0.1