This file is indexed.

/usr/share/man/ is in robot-player 3.0.2+dfsg-4.1ubuntu3.

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

File Mime Type Owner Mode Size
..
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/robot-playerprint.1.gz application/gzip root:root 0o644 979 bytes
/usr/share/man/man1/robot-pmaptest.1.gz application/gzip root:root 0o644 1.4 KB
/usr/share/man/man1/robot-playerv.1.gz application/gzip root:root 0o644 940 bytes
/usr/share/man/man1/robot-playernav.1.gz application/gzip root:root 0o644 1.1 KB
/usr/share/man/man1/robot-playervcr.1.gz application/gzip root:root 0o644 887 bytes
/usr/share/man/man1/robot-playerwritemap.1.gz application/gzip root:root 0o644 867 bytes
/usr/share/man/man1/robot-playercam.1.gz application/gzip root:root 0o644 894 bytes
/usr/share/man/man1/robot-playerjoy.1.gz application/gzip root:root 0o644 1.2 KB
/usr/share/man/man1/robot-player.1.gz application/gzip root:root 0o644 923 bytes