This package is 752.2 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/o/otter/otter_3.3f-1.1_amd64.deb
.
View its full control file here:
debian/control.
resolution-style theorem prover
otter 3.3f-1.1 is in ubuntu - xenial / universe. This package's architecture is: amd64.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
/usr/
|
root:root | 0o755 | ||
/usr/bin/
|
root:root | 0o755 | ||
/usr/bin/otter
|
application/x-executable | root:root | 0o755 | 306.4 KB |
/usr/sbin/
|
root:root | 0o755 | ||
/usr/share/
|
root:root | 0o755 | ||
/usr/share/doc/
|
root:root | 0o755 | ||
/usr/share/doc/otter/
|
root:root | 0o755 | ||
/usr/share/doc/otter/changelog.Debian.gz
|
application/gzip | root:root | 0o644 | 384 bytes |
/usr/share/doc/otter/copyright
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/auto/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/auto/cn19.in
|
text/plain | root:root | 0o644 | 432 bytes |
/usr/share/doc/otter/examples/auto/cn19.out.gz
|
application/gzip | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/auto/comm.in
|
text/plain | root:root | 0o644 | 270 bytes |
/usr/share/doc/otter/examples/auto/comm.out.gz
|
application/gzip | root:root | 0o644 | 1.8 KB |
/usr/share/doc/otter/examples/auto/ec_yq.in
|
text/plain | root:root | 0o644 | 243 bytes |
/usr/share/doc/otter/examples/auto/ec_yq.out.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/auto/group.in
|
text/plain | root:root | 0o644 | 165 bytes |
/usr/share/doc/otter/examples/auto/group.out.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/otter/examples/auto/index.html
|
text/html | root:root | 0o644 | 1.9 KB |
/usr/share/doc/otter/examples/auto/lifsch.in
|
text/plain | root:root | 0o644 | 393 bytes |
/usr/share/doc/otter/examples/auto/lifsch.out.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/auto/mv25.in
|
text/plain | root:root | 0o644 | 473 bytes |
/usr/share/doc/otter/examples/auto/mv25.out.gz
|
application/gzip | root:root | 0o644 | 2.1 KB |
/usr/share/doc/otter/examples/auto/pigeon.in
|
text/plain | root:root | 0o644 | 854 bytes |
/usr/share/doc/otter/examples/auto/pigeon.out.gz
|
application/gzip | root:root | 0o644 | 3.7 KB |
/usr/share/doc/otter/examples/auto/README
|
text/plain | root:root | 0o644 | 64 bytes |
/usr/share/doc/otter/examples/auto/ring_x2.in
|
text/plain | root:root | 0o644 | 350 bytes |
/usr/share/doc/otter/examples/auto/ring_x2.out.gz
|
application/gzip | root:root | 0o644 | 2.9 KB |
/usr/share/doc/otter/examples/auto/robbins.in
|
text/plain | root:root | 0o644 | 426 bytes |
/usr/share/doc/otter/examples/auto/robbins.out.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/auto/salt.in
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/doc/otter/examples/auto/salt.out.gz
|
application/gzip | root:root | 0o644 | 3.0 KB |
/usr/share/doc/otter/examples/auto/sam.in
|
text/plain | root:root | 0o644 | 1023 bytes |
/usr/share/doc/otter/examples/auto/sam.out.gz
|
application/gzip | root:root | 0o644 | 3.2 KB |
/usr/share/doc/otter/examples/auto/steam.in
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/otter/examples/auto/steam.out.gz
|
application/gzip | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/auto/tba_gg.in
|
text/plain | root:root | 0o644 | 207 bytes |
/usr/share/doc/otter/examples/auto/tba_gg.out.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/otter/examples/auto/wang1.in
|
text/plain | root:root | 0o644 | 588 bytes |
/usr/share/doc/otter/examples/auto/wang1.out.gz
|
application/gzip | root:root | 0o644 | 2.3 KB |
/usr/share/doc/otter/examples/auto/w_sk.in
|
text/plain | root:root | 0o644 | 276 bytes |
/usr/share/doc/otter/examples/auto/w_sk.out.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/auto/x2_quant.in
|
text/plain | root:root | 0o644 | 301 bytes |
/usr/share/doc/otter/examples/auto/x2_quant.out.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/otter/examples/auto/z11.in
|
text/plain | root:root | 0o644 | 387 bytes |
/usr/share/doc/otter/examples/auto/z11.out.gz
|
application/gzip | root:root | 0o644 | 2.3 KB |
/usr/share/doc/otter/examples/fringe/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/fringe/bring.in
|
text/plain | root:root | 0o644 | 3.8 KB |
/usr/share/doc/otter/examples/fringe/bring.out.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/share/doc/otter/examples/fringe/ec_yql.in
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/fringe/ec_yql.in.28897
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/doc/otter/examples/fringe/ec_yql.out.gz
|
application/gzip | root:root | 0o644 | 3.5 KB |
/usr/share/doc/otter/examples/fringe/gl4.in
|
text/plain | root:root | 0o644 | 626 bytes |
/usr/share/doc/otter/examples/fringe/gl4.in.28897
|
text/plain | root:root | 0o644 | 649 bytes |
/usr/share/doc/otter/examples/fringe/gl4.out.gz
|
application/gzip | root:root | 0o644 | 1.8 KB |
/usr/share/doc/otter/examples/fringe/gl8.in
|
text/plain | root:root | 0o644 | 650 bytes |
/usr/share/doc/otter/examples/fringe/gl8.out
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/doc/otter/examples/fringe/if.in
|
text/plain | root:root | 0o644 | 3.6 KB |
/usr/share/doc/otter/examples/fringe/if.out.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/otter/examples/fringe/index.html
|
text/html | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/fringe/lexical1.in
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/doc/otter/examples/fringe/lexical1.out
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/doc/otter/examples/fringe/lexical2.in
|
text/plain | root:root | 0o644 | 1.3 KB |
/usr/share/doc/otter/examples/fringe/lexical2.out
|
text/plain | root:root | 0o644 | 2.6 KB |
/usr/share/doc/otter/examples/fringe/lexical3.in
|
text/plain | root:root | 0o644 | 1.2 KB |
/usr/share/doc/otter/examples/fringe/lexical3.out
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/fringe/luka5h.in.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/fringe/luka5h.out.gz
|
application/gzip | root:root | 0o644 | 3.3 KB |
/usr/share/doc/otter/examples/fringe/mfl_13.in
|
text/plain | root:root | 0o644 | 1.5 KB |
/usr/share/doc/otter/examples/fringe/mfl_13.out.gz
|
application/gzip | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/fringe/olsax_hints.in.gz
|
application/gzip | root:root | 0o644 | 1.1 KB |
/usr/share/doc/otter/examples/fringe/olsax_hints.out.gz
|
application/gzip | root:root | 0o644 | 4.6 KB |
/usr/share/doc/otter/examples/fringe/README
|
text/plain | root:root | 0o644 | 122 bytes |
/usr/share/doc/otter/examples/fringe/rob_ocd.in
|
text/plain | root:root | 0o644 | 3.2 KB |
/usr/share/doc/otter/examples/fringe/rob_ocd.out.gz
|
application/gzip | root:root | 0o644 | 6.6 KB |
/usr/share/doc/otter/examples/fringe/x3tricks.in.gz
|
application/gzip | root:root | 0o644 | 1.9 KB |
/usr/share/doc/otter/examples/fringe/x3tricks.out.gz
|
application/gzip | root:root | 0o644 | 2.8 KB |
/usr/share/doc/otter/examples/index.html
|
text/html | root:root | 0o644 | 1.1 KB |
/usr/share/doc/otter/examples/ivy/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/ivy/cd-cn19.in
|
text/plain | root:root | 0o644 | 376 bytes |
/usr/share/doc/otter/examples/ivy/cd-cn19.out.gz
|
application/gzip | root:root | 0o644 | 5.1 KB |
/usr/share/doc/otter/examples/ivy/comb-sk-w.in
|
text/plain | root:root | 0o644 | 339 bytes |
/usr/share/doc/otter/examples/ivy/comb-sk-w.out.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/otter/examples/ivy/group-comm.in
|
text/plain | root:root | 0o644 | 401 bytes |
/usr/share/doc/otter/examples/ivy/group-comm.out.gz
|
application/gzip | root:root | 0o644 | 4.8 KB |
/usr/share/doc/otter/examples/ivy/group-x2.in
|
text/plain | root:root | 0o644 | 337 bytes |
/usr/share/doc/otter/examples/ivy/group-x2.out.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/share/doc/otter/examples/ivy/group-x2-refute.in
|
text/plain | root:root | 0o644 | 337 bytes |
/usr/share/doc/otter/examples/ivy/group-x2-refute.out.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/share/doc/otter/examples/ivy/index.html
|
text/html | root:root | 0o644 | 1.3 KB |
/usr/share/doc/otter/examples/ivy/lifsch.in
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/ivy/lifsch.out.gz
|
application/gzip | root:root | 0o644 | 3.3 KB |
/usr/share/doc/otter/examples/ivy/p-and-not-p.in
|
text/plain | root:root | 0o644 | 152 bytes |
/usr/share/doc/otter/examples/ivy/p-and-not-p.out
|
text/plain | root:root | 0o644 | 2.3 KB |
/usr/share/doc/otter/examples/ivy/README
|
text/plain | root:root | 0o644 | 55 bytes |
/usr/share/doc/otter/examples/ivy/steam.in
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/ivy/steam.out.gz
|
application/gzip | root:root | 0o644 | 4.4 KB |
/usr/share/doc/otter/examples/ivy/t1.in
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/ivy/t1.out.gz
|
application/gzip | root:root | 0o644 | 4.4 KB |
/usr/share/doc/otter/examples/kalman/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/kalman/ex_1.in
|
text/plain | root:root | 0o644 | 715 bytes |
/usr/share/doc/otter/examples/kalman/ex_1.out.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/kalman/ex_2.in
|
text/plain | root:root | 0o644 | 651 bytes |
/usr/share/doc/otter/examples/kalman/ex_2.out.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/otter/examples/kalman/ex_3.in
|
text/plain | root:root | 0o644 | 875 bytes |
/usr/share/doc/otter/examples/kalman/ex_3.out.gz
|
application/gzip | root:root | 0o644 | 3.2 KB |
/usr/share/doc/otter/examples/kalman/ex_4.in
|
text/plain | root:root | 0o644 | 659 bytes |
/usr/share/doc/otter/examples/kalman/ex_4.out.gz
|
application/gzip | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/kalman/i1.in
|
text/plain | root:root | 0o644 | 570 bytes |
/usr/share/doc/otter/examples/kalman/i1.out
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/doc/otter/examples/kalman/i2.in
|
text/plain | root:root | 0o644 | 512 bytes |
/usr/share/doc/otter/examples/kalman/i2.out
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/doc/otter/examples/kalman/i3.in.gz
|
application/gzip | root:root | 0o644 | 1.5 KB |
/usr/share/doc/otter/examples/kalman/i3.out.gz
|
application/gzip | root:root | 0o644 | 29.6 KB |
/usr/share/doc/otter/examples/kalman/i4.in.gz
|
application/gzip | root:root | 0o644 | 1.8 KB |
/usr/share/doc/otter/examples/kalman/i4.out.gz
|
application/gzip | root:root | 0o644 | 21.4 KB |
/usr/share/doc/otter/examples/kalman/index.html
|
text/html | root:root | 0o644 | 1.0 KB |
/usr/share/doc/otter/examples/kalman/README
|
text/plain | root:root | 0o644 | 28 bytes |
/usr/share/doc/otter/examples/Loop/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/Loop/head
|
text/plain | root:root | 0o644 | 164 bytes |
/usr/share/doc/otter/examples/Loop/otter-ploop
|
text/x-perl | root:root | 0o755 | 885 bytes |
/usr/share/doc/otter/examples/Loop/README
|
text/plain | root:root | 0o644 | 606 bytes |
/usr/share/doc/otter/examples/Loop/Sheffer-mgi-without-mirrors.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/otter/examples/Loop/temp.gz
|
application/gzip | root:root | 0o644 | 4.8 KB |
/usr/share/doc/otter/examples/Makefile
|
text/x-makefile | root:root | 0o644 | 82 bytes |
/usr/share/doc/otter/examples/misc/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/misc/andrews.in
|
text/plain | root:root | 0o644 | 817 bytes |
/usr/share/doc/otter/examples/misc/andrews.in.28752
|
text/plain | root:root | 0o644 | 861 bytes |
/usr/share/doc/otter/examples/misc/andrews.out.gz
|
application/gzip | root:root | 0o644 | 4.4 KB |
/usr/share/doc/otter/examples/misc/cn.in
|
text/plain | root:root | 0o644 | 1002 bytes |
/usr/share/doc/otter/examples/misc/cn.in.28752
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/doc/otter/examples/misc/cn.out.gz
|
application/gzip | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/misc/dem_alu.in
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/misc/dem_alu.in.28752
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/doc/otter/examples/misc/dem_alu.out
|
text/plain | root:root | 0o644 | 3.9 KB |
/usr/share/doc/otter/examples/misc/ec.in
|
text/plain | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/misc/ec.out.gz
|
application/gzip | root:root | 0o644 | 1.7 KB |
/usr/share/doc/otter/examples/misc/index.html
|
text/html | root:root | 0o644 | 1.3 KB |
/usr/share/doc/otter/examples/misc/kb_bench.in
|
text/plain | root:root | 0o644 | 796 bytes |
/usr/share/doc/otter/examples/misc/kb_bench.out.gz
|
application/gzip | root:root | 0o644 | 3.8 KB |
/usr/share/doc/otter/examples/misc/mv.in
|
text/plain | root:root | 0o644 | 770 bytes |
/usr/share/doc/otter/examples/misc/mv.in.28752
|
text/plain | root:root | 0o644 | 814 bytes |
/usr/share/doc/otter/examples/misc/mv.out.gz
|
application/gzip | root:root | 0o644 | 2.5 KB |
/usr/share/doc/otter/examples/misc/README
|
text/plain | root:root | 0o644 | 29 bytes |
/usr/share/doc/otter/examples/misc/sax1.in
|
text/plain | root:root | 0o644 | 474 bytes |
/usr/share/doc/otter/examples/misc/sax1.out.gz
|
application/gzip | root:root | 0o644 | 3.5 KB |
/usr/share/doc/otter/examples/misc/sax2.in
|
text/plain | root:root | 0o644 | 522 bytes |
/usr/share/doc/otter/examples/misc/sax2.out.gz
|
application/gzip | root:root | 0o644 | 2.1 KB |
/usr/share/doc/otter/examples/misc/stage1.in
|
text/plain | root:root | 0o644 | 1.4 KB |
/usr/share/doc/otter/examples/misc/stage1.out.gz
|
application/gzip | root:root | 0o644 | 3.4 KB |
/usr/share/doc/otter/examples/misc/stage2.in
|
text/plain | root:root | 0o644 | 2.8 KB |
/usr/share/doc/otter/examples/misc/stage2.out.gz
|
application/gzip | root:root | 0o644 | 2.0 KB |
/usr/share/doc/otter/examples/misc/str_bws.in
|
text/plain | root:root | 0o644 | 758 bytes |
/usr/share/doc/otter/examples/misc/str_bws.in.28752
|
text/plain | root:root | 0o644 | 802 bytes |
/usr/share/doc/otter/examples/misc/str_bws.out.gz
|
application/gzip | root:root | 0o644 | 2.8 KB |
/usr/share/doc/otter/examples/program/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/program/eval.in
|
text/plain | root:root | 0o644 | 2.4 KB |
/usr/share/doc/otter/examples/program/eval.out
|
text/plain | root:root | 0o644 | 3.3 KB |
/usr/share/doc/otter/examples/program/index.html
|
text/html | root:root | 0o644 | 850 bytes |
/usr/share/doc/otter/examples/program/jugs.in
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/doc/otter/examples/program/jugs.out
|
text/plain | root:root | 0o644 | 3.6 KB |
/usr/share/doc/otter/examples/program/mission.in
|
text/plain | root:root | 0o644 | 1.9 KB |
/usr/share/doc/otter/examples/program/mission.out.gz
|
application/gzip | root:root | 0o644 | 1.3 KB |
/usr/share/doc/otter/examples/program/queens.in
|
text/plain | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/program/queens.out.gz
|
application/gzip | root:root | 0o644 | 27.1 KB |
/usr/share/doc/otter/examples/program/README
|
text/plain | root:root | 0o644 | 31 bytes |
/usr/share/doc/otter/examples/program/two_inv.in
|
text/plain | root:root | 0o644 | 3.1 KB |
/usr/share/doc/otter/examples/program/two_inv.out
|
text/plain | root:root | 0o644 | 4.0 KB |
/usr/share/doc/otter/examples/README
|
text/plain | root:root | 0o644 | 1.1 KB |
/usr/share/doc/otter/examples/Run_all
|
text/x-shellscript | root:root | 0o755 | 435 bytes |
/usr/share/doc/otter/examples/Run_all.out.gz
|
application/gzip | root:root | 0o644 | 855 bytes |
/usr/share/doc/otter/examples/Run_group
|
text/x-shellscript | root:root | 0o755 | 1.8 KB |
/usr/share/doc/otter/examples/split/
|
root:root | 0o755 | ||
/usr/share/doc/otter/examples/split/GEO010-2.in.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/otter/examples/split/GEO010-2.out.gz
|
application/gzip | root:root | 0o644 | 4.0 KB |
/usr/share/doc/otter/examples/split/GEO036-2.in
|
text/plain | root:root | 0o644 | 3.6 KB |
/usr/share/doc/otter/examples/split/GEO036-2.out.gz
|
application/gzip | root:root | 0o644 | 2.7 KB |
/usr/share/doc/otter/examples/split/group2.in
|
text/plain | root:root | 0o644 | 631 bytes |
/usr/share/doc/otter/examples/split/group2.out.gz
|
application/gzip | root:root | 0o644 | 2.1 KB |
/usr/share/doc/otter/examples/split/GRP025-1.in.gz
|
application/gzip | root:root | 0o644 | 1.4 KB |
/usr/share/doc/otter/examples/split/GRP025-1.out.gz
|
application/gzip | root:root | 0o644 | 3.4 KB |
/usr/share/doc/otter/examples/split/index.html
|
text/html | root:root | 0o644 | 1.5 KB |
/usr/share/doc/otter/examples/split/noncomm-group.in.gz
|
application/gzip | root:root | 0o644 | 2.1 KB |
/usr/share/doc/otter/examples/split/noncomm-group.out.gz
|
application/gzip | root:root | 0o644 | 11.0 KB |
/usr/share/doc/otter/examples/split/pair.in
|
text/plain | root:root | 0o644 | 550 bytes |
/usr/share/doc/otter/examples/split/pair.out.gz
|
application/gzip | root:root | 0o644 | 3.0 KB |
/usr/share/doc/otter/examples/split/pigeon5.in
|
text/plain | root:root | 0o644 | 963 bytes |
/usr/share/doc/otter/examples/split/pigeon5.out.gz
|
application/gzip | root:root | 0o644 | 5.5 KB |
/usr/share/doc/otter/examples/split/power.in
|
text/plain | root:root | 0o644 | 1.0 KB |
/usr/share/doc/otter/examples/split/power.out.gz
|
application/gzip | root:root | 0o644 | 1.6 KB |
/usr/share/doc/otter/examples/split/README
|
text/plain | root:root | 0o644 | 70 bytes |
/usr/share/doc/otter/examples/split/README.more
|
text/plain | root:root | 0o644 | 907 bytes |
/usr/share/doc/otter/examples/split/temp1
|
text/x-shellscript | root:root | 0o755 | 538 bytes |
/usr/share/doc/otter/examples/split/wang3.in
|
text/plain | root:root | 0o644 | 827 bytes |
/usr/share/doc/otter/examples/split/wang3.out.gz
|
application/gzip | root:root | 0o644 | 8.4 KB |
/usr/share/doc/otter/examples/split/zebra2.in
|
text/plain | root:root | 0o644 | 2.7 KB |
/usr/share/doc/otter/examples/split/zebra2.out.gz
|
application/gzip | root:root | 0o644 | 6.2 KB |
/usr/share/doc/otter/examples/split/zebra4.in
|
text/plain | root:root | 0o644 | 1.8 KB |
/usr/share/doc/otter/examples/split/zebra4.out.gz
|
application/gzip | root:root | 0o644 | 9.3 KB |
/usr/share/doc/otter/examples/summary
|
text/x-shellscript | root:root | 0o755 | 414 bytes |
/usr/share/doc/otter/examples/wos/
|
root:root | 0o755 | ||
/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/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/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 |
/usr/share/doc/otter/otter33.html
|
text/html | root:root | 0o644 | 253.3 KB |
/usr/share/doc/otter/otter33.ps.gz
|
application/gzip | root:root | 0o644 | 121.9 KB |
/usr/share/doc/otter/README
|
text/plain | root:root | 0o644 | 2.2 KB |
/usr/share/doc/otter/README.Ivy
|
text/x-lisp | root:root | 0o644 | 888 bytes |
/usr/share/man/
|
root:root | 0o755 | ||
/usr/share/man/man1/
|
root:root | 0o755 | ||
/usr/share/man/man1/otter.1.gz
|
application/gzip | root:root | 0o644 | 682 bytes |