tags 691307 +patch thanks Hello,
the attached debdiff-patch hopefully fixes the issue. The changes are committed to the git-repo of the package [1]. Thanks, Anton [1] http://anonscm.debian.org/gitweb/?p=debian-science/packages/petsc.git;a=commitdiff;h=409f694a5c93ed84f2ddb7eda2d1b88922528298
petsc_nm.debdiff
Description: Binary data