[Pkg-openmpi-maintainers] Bug#825575: libopenmpi1.10, libopenmpi-dev: ship broken liboshmem.so* symlinks, but no library

[Andreas Beckmann]

Package: libopenmpi1.10,libopenmpi-dev
Version: 1.10.2-14
Severity: important
User: debian-qa at lists.debian.org
Usertags: piuparts

Hi,

libopenmpi1.10 and libopenmpi-dev ship broken symlinks:

lrwxrwxrwx root/root         0 2016-05-24 12:49 ./usr/lib/liboshmem.so.8 -> liboshmem.so.8.1.0
lrwxrwxrwx root/root         0 2016-05-24 12:49 ./usr/lib/liboshmem.so.8.1.0 -> openmpi/lib/liboshmem.so.8.1.0
lrwxrwxrwx root/root         0 2016-05-24 12:49 ./usr/lib/liboshmem.so -> liboshmem.so.8
lrwxrwxrwx root/root         0 2016-05-24 12:49 ./usr/lib/openmpi/lib/liboshmem.so -> liboshmem.so.8.1.0

but no package ships the actual library liboshmem.so.8.1.0


Andreas