Le 08/08/2016 11:54, Thibaut Paumard a écrit : > If one then installs libopenmpi10, the alternative is set automatically to > /usr/lib/openmpi/lib/libmpi.so. We then have /usr/lib/libmpich.so.12 that > points to /usr/lib/openmpi/lib/libmpi.so, which may lead to badly linked > binaries and and confuses dpkg-shlibsdeps. Kind regards, Thibaut.