/usr/share/doc/ 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/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/why3-manual-html
|
text/plain | root:root | 0o644 | 995 bytes |