app-emacs/boogie-friends-0.1_p20220922
app-emacs/company-coq-1.0.1_p20220314
app-emacs/company-ebuild-0.1.4
app-emacs/company-ebuild-9999
app-emacs/company-math-1.5.1
app-emacs/company-quickhelp-2.3.0
app-emacs/elpy-1.35.0_p20220627-r1
app-emacs/elpy-1.35.0_p20240719
app-emacs/gap-mode-2.2.2:completion
app-emacs/nix-mode-1.5.0
dev-ml/merlin-4.14-r1:emacs
