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