This file is indexed.

/usr/share/ is in why3-doc-html 0.88.3-1ubuntu4.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/ root:root 0o755
/usr/share/doc/why3-doc-html/ root:root 0o755
/usr/share/doc/why3-doc-html/changelog.Debian.gz application/gzip root:root 0o644 1.1 KB
/usr/share/doc/why3-doc-html/copyright text/plain root:root 0o644 14.9 KB
/usr/share/doc/why3-doc-html/html/ root:root 0o755
/usr/share/doc/why3-doc-html/html/api.html text/html root:root 0o644 26.1 KB
/usr/share/doc/why3-doc-html/html/changes.html text/html root:root 0o644 6.2 KB
/usr/share/doc/why3-doc-html/html/contents_motif.gif image/gif root:root 0o644 316 bytes
/usr/share/doc/why3-doc-html/html/coqide-0-81.png image/png root:root 0o644 17.0 KB
/usr/share/doc/why3-doc-html/html/exec.html text/html root:root 0o644 5.8 KB
/usr/share/doc/why3-doc-html/html/foreword.html text/html root:root 0o644 3.5 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-1.png image/png root:root 0o644 47.4 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-2.png image/png root:root 0o644 51.6 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-3.png image/png root:root 0o644 38.8 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-4.png image/png root:root 0o644 52.8 KB
/usr/share/doc/why3-doc-html/html/gui-0-70-5.png image/png root:root 0o644 55.1 KB
/usr/share/doc/why3-doc-html/html/hello_proof.png image/png root:root 0o644 16.9 KB
/usr/share/doc/why3-doc-html/html/index.html text/html root:root 0o644 7.7 KB
/usr/share/doc/why3-doc-html/html/install.html text/html root:root 0o644 9.9 KB
/usr/share/doc/why3-doc-html/html/itp.html text/html root:root 0o644 16.7 KB
/usr/share/doc/why3-doc-html/html/manpages.html text/html root:root 0o644 68.2 KB
/usr/share/doc/why3-doc-html/html/manual.bbl text/x-tex root:root 0o644 2.8 KB
/usr/share/doc/why3-doc-html/html/manual.css text/plain root:root 0o644 1.9 KB
/usr/share/doc/why3-doc-html/html/manual.haux.gz application/gzip root:root 0o644 2.9 KB
/usr/share/doc/why3-doc-html/html/manual.hind.gz application/gzip root:root 0o644 2.9 KB
/usr/share/doc/why3-doc-html/html/manual.html text/html root:root 0o644 404.0 KB
/usr/share/doc/why3-doc-html/html/manual.htoc.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/why3-doc-html/html/manual.image.tex text/x-tex root:root 0o644 2.8 KB
/usr/share/doc/why3-doc-html/html/manual013.html text/html root:root 0o644 4.5 KB
/usr/share/doc/why3-doc-html/html/manual014.html text/html root:root 0o644 34.1 KB
/usr/share/doc/why3-doc-html/html/next_motif.gif image/gif root:root 0o644 317 bytes
/usr/share/doc/why3-doc-html/html/previous_motif.gif image/gif root:root 0o644 317 bytes
/usr/share/doc/why3-doc-html/html/starting.html text/html root:root 0o644 16.8 KB
/usr/share/doc/why3-doc-html/html/syntax.html text/html root:root 0o644 24.3 KB
/usr/share/doc/why3-doc-html/html/syntaxref.html text/html root:root 0o644 87.0 KB
/usr/share/doc/why3-doc-html/html/technical.html text/html root:root 0o644 52.8 KB
/usr/share/doc/why3-doc-html/html/whyml.html text/html root:root 0o644 52.0 KB
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/why3-manual-html text/plain root:root 0o644 995 bytes