control: tag -1 moreinfo On Tue, Feb 02, 2016 at 02:10:09PM +0000, Alastair McKinstry wrote: > Please depend on openmpi >= 1.10.2-3, so that a versioned mpi-defaults-dev > can be used. > The transition openmpi1.6 -> 1.10 breaks some packages (see e.g. #813490) > and the fix involves a versioned dep on openmpi, but the package depends on > mpi-default-dev. So a versioned dep. onmpi-default-dev is required.
umh, I can't really see how such a version restriction would be useful.
That bug you quote is fixed by a patch provided by you that works for
both openmpi 1.6 and 1.10, doesn't it?
--
regards,
Mattia Rizzolo
GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`.
more about me: http://mapreri.org : :' :
Launchpad user: https://launchpad.net/~mapreri `. `'`
Debian QA page: https://qa.debian.org/developer.php?login=mattia `-
signature.asc
Description: PGP signature
