This file is indexed.

/usr/share/man/ is in kdelibs5-dev 4:4.13.3-0ubuntu0.5.

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/makekdewidgets.1.gz application/gzip root:root 0o644 1.8 KB
/usr/share/man/man1/checkXML.1.gz application/gzip root:root 0o644 757 bytes
/usr/share/man/man1/preparetips.1.gz application/gzip root:root 0o644 852 bytes
/usr/share/man/man1/kconfig_compiler.1.gz application/gzip root:root 0o644 1.9 KB