/app-emacs/proofgeneral/files/
../
50proofgeneral-gentoo.el
proofgeneral-4.4-desktop.patch
proofgeneral-4.4-images-dir.patch