[Pkg-openmpi-maintainers] Bug#464795: dead symlink in /usr/lib/libmpi.so
Ondrej Certik
ondrej at certik.cz
Sat Feb 9 01:01:47 UTC 2008
Package: libopenmpi-dev
Version: 1.2.5-1
Severity: normal
--- Please enter the report below this line. ---
Hi,
there seems to be a dead symlink in:
$ ll /usr/lib/libmpi.so
lrwxrwxrwx 1 root root 27 2008-02-09 01:56 /usr/lib/libmpi.so -> /etc/alternatives/libmpi.so
It's on all of my computers. Some misconfiguration of update-alternatives on my side?
Thanks,
Ondrej
--- System information. ---
Architecture: i386
Kernel: Linux 2.6.24-1-686
Debian Release: lenny/sid
500 unstable ftp.cz.debian.org
--- Package information. ---
Depends (Version) | Installed
==============================-+-============
libopenmpi1 (= 1.2.5-1) | 1.2.5-1
openmpi-common (= 1.2.5-1) | 1.2.5-1
More information about the Pkg-openmpi-maintainers
mailing list