/sci-mathematics/isabelle/files/
../
isabelle-2009-proofgeneral-gentoo-path.patch