portage://app-emacs/proofgeneral (1 version)