[Pkg-openmpi-maintainers] Bug#889715: libopenmpi-dev: problem in alternatives handling

[Laurent Bonnaud]

Package: libopenmpi-dev
Version: 2.1.1-8
Severity: important


Dear Maintainer,

here is the problem:

Setting up libopenmpi-dev (2.1.1-8) ...
update-alternatives: error: alternative link /usr/lib/x86_64-linux-gnu/libmpi.so is already managed by mpi-x86_64-linux-gnu
dpkg: error processing package libopenmpi-dev (--configure):
 installed libopenmpi-dev package post-installation script subprocess returned error exit status 2
dpkg: dependency problems prevent configuration of mpi-default-dev:
 mpi-default-dev depends on libopenmpi-dev; however:
  Package libopenmpi-dev is not configured yet.

dpkg: error processing package mpi-default-dev (--configure):


-- System Information:
Debian Release: buster/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'unstable'), (1, 'experimental-debug'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.14.0-3-rt-amd64 (SMP w/2 CPU cores; PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages libopenmpi-dev depends on:
ii  libc6           2.27-0experimental0
ii  libhwloc-dev    2.0.0~rc2-2
ii  libhwloc5       1.11.9-1
ii  libibverbs-dev  16.1-2
ii  libopenmpi2     2.1.1-8
ii  openmpi-common  2.1.1-8

libopenmpi-dev recommends no packages.

Versions of packages libopenmpi-dev suggests:
pn  openmpi-doc  <none>

-- no debconf information

-- 
Laurent.