This file is indexed.

/usr/share/doc/otter/examples/wos/ is in otter 3.3f-1.1.

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

File Mime Type Owner Mode Size
..
/usr/share/doc/otter/examples/wos/README text/plain root:root 0o644 94 bytes
/usr/share/doc/otter/examples/wos/README.more text/plain root:root 0o644 2.2 KB
/usr/share/doc/otter/examples/wos/cursory.in.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/wos/cursory.out.gz application/gzip root:root 0o644 3.9 KB
/usr/share/doc/otter/examples/wos/grp_exp3.in text/plain root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/wos/grp_exp3.out.gz application/gzip root:root 0o644 1.9 KB
/usr/share/doc/otter/examples/wos/grp_exp4.in.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/otter/examples/wos/grp_exp4.out.gz application/gzip root:root 0o644 6.0 KB
/usr/share/doc/otter/examples/wos/index.html text/html root:root 0o644 1.1 KB
/usr/share/doc/otter/examples/wos/manyval.in text/plain root:root 0o644 1.8 KB
/usr/share/doc/otter/examples/wos/manyval.out.gz application/gzip root:root 0o644 35.4 KB
/usr/share/doc/otter/examples/wos/rigorous.in.gz application/gzip root:root 0o644 1.6 KB
/usr/share/doc/otter/examples/wos/rigorous.out.gz application/gzip root:root 0o644 4.4 KB
/usr/share/doc/otter/examples/wos/rob_occ.in text/plain root:root 0o644 2.8 KB
/usr/share/doc/otter/examples/wos/rob_occ.out.gz application/gzip root:root 0o644 2.7 KB
/usr/share/doc/otter/examples/wos/twoval.in.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/otter/examples/wos/twoval.out.gz application/gzip root:root 0o644 18.0 KB