Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu Hi It seems petsc was transitioned on the quiet. Fortunately, its other reverse-deps; slepc, dolfin and getdp have all had sourceful uploads and only aster needs a binNMU. Regards Graham nmu aster_11.5.0+dfsg2-4 . ANY . -m 'Rebuild against petsc 3.6.3'