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

[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 depends on
mpi-default-dev. So a versioned dep. onmpi-default-dev is required.

-- System Information:
Debian Release: 8.2
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: i386 (i686)

Kernel: Linux 3.16.0-4-686-pae (SMP w/1 CPU core)
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_IE.UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)