This file is indexed.

/usr/lib/libtopmenu-server-gtk3.so is in libtopmenu-server-gtk3-dev 0.2.1+git20151210.8c6108f-3.

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

It is a symlink to /usr/lib/libtopmenu-server-gtk3.so.0.0.0