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