Bug#855328: nmu: deal.ii_8.4.2-2

[Graham Inggs <ginggs@debian.org>]

Package: release.debian.org
User: release.debian.org@packages.debian.org
Usertags: binnmu

Hi release team

Deal.ii needs to be rebuild against openmpi to pick up headers in the
new multiarch locations (#849764).  It will also need to be rebuilt
after petsc is rebuilt (#854905).

I suggest only scheduling this rebuild after opempi has been unblocked
(#855217) and petsc has been rebuilt.

nmu deal.ii_8.4.2-2 . ANY . unstable . -m "Rebuild with openmpi 2.0.2
/ petsc 3.7.5"

Regards
Graham