8|app-emacs/proofgeneral|proofgeneral-4.5.ebuild|CC-BY-SA-3.0:GPL-2:GPL-2+:GPL-3+:HPND|gnu-emacs@gentoo.org