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