Package: release.debian.org Severity: normal X-Debbugs-Cc: petsc at packages.debian.org, debian-science at lists.debian.org Control: affects -1 + src:petsc User: release.debian.org at packages.debian.org Usertags: binnmu nmu petsc_3.22.5+dfsg1-2 . ANY . unstable . -m "BinNMU for OpenMPI major version step"