/usr/share/mozart/doc/explorer/ is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/share/mozart/doc/explorer/arrow-r.gif
|
image/gif | root:root | 0o644 | 88 bytes |
/usr/share/mozart/doc/explorer/b-blocked.ps.png
|
image/png | root:root | 0o644 | 635 bytes |
/usr/share/mozart/doc/explorer/b-closed.ps.png
|
image/png | root:root | 0o644 | 670 bytes |
/usr/share/mozart/doc/explorer/b-entailed.ps.png
|
image/png | root:root | 0o644 | 531 bytes |
/usr/share/mozart/doc/explorer/b-failed.ps.png
|
image/png | root:root | 0o644 | 200 bytes |
/usr/share/mozart/doc/explorer/b-open.ps.png
|
image/png | root:root | 0o644 | 604 bytes |
/usr/share/mozart/doc/explorer/b-suspended.ps.png
|
image/png | root:root | 0o644 | 466 bytes |
/usr/share/mozart/doc/explorer/bib.html
|
text/html | root:root | 0o644 | 1.2 KB |
/usr/share/mozart/doc/explorer/c-blocked.ps.png
|
image/png | root:root | 0o644 | 902 bytes |
/usr/share/mozart/doc/explorer/c-closed.ps.png
|
image/png | root:root | 0o644 | 927 bytes |
/usr/share/mozart/doc/explorer/c-entailed.ps.png
|
image/png | root:root | 0o644 | 593 bytes |
/usr/share/mozart/doc/explorer/c-failed.ps.png
|
image/png | root:root | 0o644 | 200 bytes |
/usr/share/mozart/doc/explorer/c-h-failed.ps.png
|
image/png | root:root | 0o644 | 1.0 KB |
/usr/share/mozart/doc/explorer/c-h-part-failed.ps.png
|
image/png | root:root | 0o644 | 1.1 KB |
/usr/share/mozart/doc/explorer/c-h-part-solved.ps.png
|
image/png | root:root | 0o644 | 1.1 KB |
/usr/share/mozart/doc/explorer/c-h-solved.ps.png
|
image/png | root:root | 0o644 | 1.0 KB |
/usr/share/mozart/doc/explorer/c-open.ps.png
|
image/png | root:root | 0o644 | 919 bytes |
/usr/share/mozart/doc/explorer/c-suspended.ps.png
|
image/png | root:root | 0o644 | 618 bytes |
/usr/share/mozart/doc/explorer/danger.gif
|
image/gif | root:root | 0o644 | 216 bytes |
/usr/share/mozart/doc/explorer/draw.gif
|
image/gif | root:root | 0o644 | 2.5 KB |
/usr/share/mozart/doc/explorer/explain.gif
|
image/gif | root:root | 0o644 | 8.6 KB |
/usr/share/mozart/doc/explorer/hide-1.png
|
image/png | root:root | 0o644 | 1.9 KB |
/usr/share/mozart/doc/explorer/hide-2.png
|
image/png | root:root | 0o644 | 1.0 KB |
/usr/share/mozart/doc/explorer/hide-3.png
|
image/png | root:root | 0o644 | 1.8 KB |
/usr/share/mozart/doc/explorer/hide-4.png
|
image/png | root:root | 0o644 | 1.9 KB |
/usr/share/mozart/doc/explorer/hide-5.png
|
image/png | root:root | 0o644 | 1.9 KB |
/usr/share/mozart/doc/explorer/idx.html
|
text/html | root:root | 0o644 | 2.2 KB |
/usr/share/mozart/doc/explorer/index.html
|
text/html | root:root | 0o644 | 1.8 KB |
/usr/share/mozart/doc/explorer/latex1.png
|
image/png | root:root | 0o644 | 168 bytes |
/usr/share/mozart/doc/explorer/latex2.png
|
image/png | root:root | 0o644 | 205 bytes |
/usr/share/mozart/doc/explorer/latex3.png
|
image/png | root:root | 0o644 | 249 bytes |
/usr/share/mozart/doc/explorer/latex4.png
|
image/png | root:root | 0o644 | 196 bytes |
/usr/share/mozart/doc/explorer/latex5.png
|
image/png | root:root | 0o644 | 267 bytes |
/usr/share/mozart/doc/explorer/node1.html
|
text/html | root:root | 0o644 | 3.1 KB |
/usr/share/mozart/doc/explorer/node2.html
|
text/html | root:root | 0o644 | 4.7 KB |
/usr/share/mozart/doc/explorer/node3.html
|
text/html | root:root | 0o644 | 3.1 KB |
/usr/share/mozart/doc/explorer/node4.html
|
text/html | root:root | 0o644 | 5.8 KB |
/usr/share/mozart/doc/explorer/node5.html
|
text/html | root:root | 0o644 | 2.5 KB |
/usr/share/mozart/doc/explorer/node6.html
|
text/html | root:root | 0o644 | 17.8 KB |
/usr/share/mozart/doc/explorer/node7.html
|
text/html | root:root | 0o644 | 14.0 KB |
/usr/share/mozart/doc/explorer/node8.html
|
text/html | root:root | 0o644 | 6.9 KB |
/usr/share/mozart/doc/explorer/note-gui-l1.gif
|
image/gif | root:root | 0o644 | 229 bytes |
/usr/share/mozart/doc/explorer/note-gui-l2.gif
|
image/gif | root:root | 0o644 | 241 bytes |
/usr/share/mozart/doc/explorer/note-gui-m1.gif
|
image/gif | root:root | 0o644 | 232 bytes |
/usr/share/mozart/doc/explorer/note-gui-m2.gif
|
image/gif | root:root | 0o644 | 245 bytes |
/usr/share/mozart/doc/explorer/note-gui-r1.gif
|
image/gif | root:root | 0o644 | 230 bytes |
/usr/share/mozart/doc/explorer/note-gui-r2.gif
|
image/gif | root:root | 0o644 | 240 bytes |
/usr/share/mozart/doc/explorer/ozdoc.css
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/mozart/doc/explorer/page.gif
|
image/gif | root:root | 0o644 | 132 bytes |
/usr/share/mozart/doc/explorer/post.gif
|
image/gif | root:root | 0o644 | 3.3 KB |
/usr/share/mozart/doc/explorer/search.gif
|
image/gif | root:root | 0o644 | 3.3 KB |
/usr/share/mozart/doc/explorer/stat-ex.png
|
image/png | root:root | 0o644 | 2.2 KB |
/usr/share/mozart/doc/explorer/toc.html
|
text/html | root:root | 0o644 | 2.4 KB |