[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