Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu A new bugfix patch version of PETSc has just been released (3.7.5). It would be good if we can include it in stretch, see #851102. It requires dolfin, getdp and deal.ii to be rebuilt (slepc is already rebuilt). nmu dolfin_2016.2.0-1 . ANY . unstable . -m "Rebuild against PETSc 3.7.5."