Package: libopenmpi-dev
Version: 3.1.0-3
Severity: normal
Hi,
libopenmpi-dev depends on openmpi-common (= ${source:Version}). This causes
uninstallability problems whenever openmpi is uploaded, since the arch:all
openmpi-common is usually available before the arch:any libopenmpi-dev, making
the latter uninstallable. This is specially a problem if openmpi fails to build
on some architecture (as it recently happened with #899169), with packages
unable to build with e.g.:
boost1.62 build-depends on:
- mpi-default-dev:armhf
mpi-default-dev depends on:
- libopenmpi-dev:armhf
libopenmpi-dev depends on missing:
- openmpi-common:armhf (= 3.1.0-1)
Ideally a new openmpi upload wouldn't cause any uninstallability problems, even
temporary ones. To achieve that, there are several options, but I don't know
openmpi well enough to determine if any of them would be correct:
- Change the dependency to: openmpi-common (>= ${source:Version}). This is what
openmpi-bin has. I'm not sure if the strict dependency is needed here for some
reason.
- Drop the dependency. Do the headers actually need it?
- Other possibilities, such as making openmpi-common arch:any, or dropping the
package and merging its contents into openmpi-bin may be too much work if one
of the other options is possible.
Let me know if you think we have any options to fix this.
Thanks,
Emilio
