Bug#1064810: transition: mpi-defaults

[Alastair McKinstry <mckinstry@debian.org>]

Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: transition
X-Debbugs-Cc: mpi-defaults@packages.debian.org, debian-science@lists.debian.org
Control: affects -1 + src:mpi-defaults

OpenMPI 5.0 drops 32-bit support, so we need to move those archs to MPICH.

notes = "https://lists.debian.org/debian-release/2023/11/msg00379.html";;

Ben file:

title = "mpi-defaults";
is_affected = .build-depends ~ /mpi-default-dev/;
is_good = .depends ~ /libmpich.*/;
is_bad = .depends ~ /libopenmpi.*/;
architectures = [ "armhf","armel","i386" ];
ignored = [ ];