Reassign 897005 mpi-defaults Close 897005 1.13 Thanks
Sorry it seems I screwed up the package name when filing this bug, it's mpi-defaults not openmpi-defaults. Anyway this seems to be fixed, version 1.13 built succesfully both on the i386 reproducible builds for buster and in raspbian buster. The amd64 reproducible builds for buster have not yet tried to build 1.13. Whether the fix was the result of a change in mpi-defaults or a result of some other package migrating to testing I do not know.
