Package: release.debian.org User: release.debian....@packages.debian.org
Usertags: binnmu Severity: normal nmu petsc_3.7.5+dfsg1-4 . ANY . unstable . -m "Rebuild against openmpi 2.1.1" as said on irc, I don't know why that check is so strict, but better safe than sorry and lets the stack migrate thanks!