8|app-emacs/company-coq|company-coq-1.0.1_p20220314.ebuild|gnu-emacs@gentoo.org