[Pkg-openmpi-maintainers] Bug#722888: libopenmpi1.6: ships incorrect symlinks /usr/lib/libmpi{, _cxx, _f90}.so.1

[Sylvestre Ledru]

On 14/09/2013 11:13, Andreas Beckmann wrote:
> lipopenmpi1.6 ships:
>
> lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi.so.1 -> libmpi.so.1.0.7  *** BAD ***
> lrwxrwxrwx root/root         0 2013-08-28 07:09 ./usr/lib/libmpi.so.1.0.8 -> openmpi/lib/libmpi.so.1.0.8
> -rw-r--r-- root/root   1528192 2013-08-28 07:09 ./usr/lib/openmpi/lib/libmpi.so.1.0.8
>
Are you sure ? I don't see any here:
http://packages.debian.org/sid/amd64/libopenmpi1.6/filelist

Regards,
Sylvestre