This file is indexed.

/usr/lib/ is in libopenmpi-dev 1.6.5-8.

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

File Mime Type Owner Mode Size
..
/usr/lib/openmpi/ root:root 0o755
/usr/lib/libmpi_cxx.so root:root 0o777
/usr/lib/libopen-rte.so root:root 0o777
/usr/lib/libopen-pal.so root:root 0o777
/usr/lib/libompitrace.so root:root 0o777
/usr/lib/libmpi_f77.so root:root 0o777
/usr/lib/libmca_common_sm.so root:root 0o777
/usr/lib/libmpi_f90.so root:root 0o777