This file is indexed.

/usr/lib/ is in libarmci-mpi-dev 0.0~git20160222-2.

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

File Mime Type Owner Mode Size
..
/usr/lib/x86_64-linux-gnu/ root:root 0o755
/usr/lib/x86_64-linux-gnu/libarmci.a application/x-archive root:root 0o644 196.1 KB
/usr/lib/x86_64-linux-gnu/libarmci.la text/plain root:root 0o644 893 bytes