Samuel Thibault Tue, 07 Sep 2021 00:45:13 -0700
Hello, The openmpi version is unstable does not contain the patch included in 4.1.0-9, and thus this bug Bug#984956 is still preventing openmpi from migrating (as well as rdeps such as starpu).
Samuel
