app-emacs/boogie-friends-0.1_p20220922
app-emacs/company-coq-1.0.1_p20220314
app-emacs/elpy-1.35.0_p20220627-r1:test
app-emacs/elpy-1.35.0_p20220627-r1
app-emacs/elpy-1.35.0_p20240719:test
app-emacs/elpy-1.35.0_p20240719
app-emacs/emacs-ebuild-snippets-2.2.0
app-emacs/emacs-ebuild-snippets-9999
app-emacs/yasnippet-snippets-1.1
