This file is indexed.

/usr/share/doc/gnat-gps-doc/ is in gnat-gps-doc 6.1.1-1.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/gnat-gps-doc/TODO.Debian text/plain root:root 0o644 994 bytes
/usr/share/doc/gnat-gps-doc/changelog.Debian.gz application/gzip root:root 0o644 9.7 KB
/usr/share/doc/gnat-gps-doc/changelog.gz application/gzip root:root 0o644 95 bytes
/usr/share/doc/gnat-gps-doc/copyright text/plain root:root 0o644 20.0 KB