8|app-emacs/proofgeneral|proofgeneral-4.5.ebuild|wrapper:elisp|gnu-emacs@gentoo.org