/math/proofgeneral/files/
../
patch-Makefile
patch-doc-Makefile.doc
patch-etc_desktop_proofgeneral.desktop
pkg-message.in