/app-emacs/proofgeneral/files/
../
50proofgeneral-gentoo.el
digest-proofgeneral-3.5-r1
proofgeneral-3.5_isabelle-non-interactive.patch