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 -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
