Bug#813494: mpi-default-dev: Please depend on openmpi (>= 1.10.2 -3 )

2016-02-07 Thread Mattia Rizzolo
control: tag -1 moreinfo On Tue, Feb 02, 2016 at 02:10:09PM +, 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

Bug#813494: mpi-default-dev: Please depend on openmpi (>= 1.10.2 -3 )

2016-02-02 Thread Alastair McKinstry
Package: mpi-default-dev Version: 1.0.2+nmu2 Severity: important 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