Package: release.debian.org User: [email protected] 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
