libopenmpi1.10 1.10.2-8ubuntu1 / usr / lib / libmpi.so.12

/usr/lib/libmpi.so.12 is in libopenmpi1.10 1.10.2-8ubuntu1.

This file is owned by root:root, with mode 0o777.

It is a symlink to /usr/lib/libmpi.so.12.0.2