This file is indexed.

/usr/share/man/man3/ is in libppd-dev 2:0.10-7.1ubuntu2.

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

File Mime Type Owner Mode Size
..
/usr/share/man/man3/ppd_find_choice.3.gz application/gzip root:root 0o644 806 bytes
/usr/share/man/man3/ppd_emit_to_file.3.gz application/gzip root:root 0o644 964 bytes
/usr/share/man/man3/ppd_get_page_length.3.gz application/gzip root:root 0o644 692 bytes
/usr/share/man/man3/ppd_check_option_is_marked.3.gz application/gzip root:root 0o644 911 bytes
/usr/share/man/man3/ppd_file_free.3.gz application/gzip root:root 0o644 366 bytes
/usr/share/man/man3/ppd_get_num_conflicts.3.gz application/gzip root:root 0o644 582 bytes
/usr/share/man/man3/ppd_file_new.3.gz application/gzip root:root 0o644 547 bytes