Liste des fichiers du paquet otter dans sid pour l'architecture powerpc

/usr/bin/otter
/usr/share/doc/otter/README
/usr/share/doc/otter/README.Ivy
/usr/share/doc/otter/changelog.Debian.gz
/usr/share/doc/otter/changelog.gz
/usr/share/doc/otter/copyright
/usr/share/doc/otter/examples/Loop/README
/usr/share/doc/otter/examples/Loop/Sheffer-mgi-without-mirrors.gz
/usr/share/doc/otter/examples/Loop/head
/usr/share/doc/otter/examples/Loop/otter-ploop
/usr/share/doc/otter/examples/Loop/temp.gz
/usr/share/doc/otter/examples/Makefile
/usr/share/doc/otter/examples/README
/usr/share/doc/otter/examples/Run_all
/usr/share/doc/otter/examples/Run_all.out.gz
/usr/share/doc/otter/examples/Run_group
/usr/share/doc/otter/examples/auto/README
/usr/share/doc/otter/examples/auto/cn19.in
/usr/share/doc/otter/examples/auto/cn19.out.gz
/usr/share/doc/otter/examples/auto/comm.in
/usr/share/doc/otter/examples/auto/comm.out.gz
/usr/share/doc/otter/examples/auto/ec_yq.in
/usr/share/doc/otter/examples/auto/ec_yq.out.gz
/usr/share/doc/otter/examples/auto/group.in
/usr/share/doc/otter/examples/auto/group.out.gz
/usr/share/doc/otter/examples/auto/index.html
/usr/share/doc/otter/examples/auto/lifsch.in
/usr/share/doc/otter/examples/auto/lifsch.out.gz
/usr/share/doc/otter/examples/auto/mv25.in
/usr/share/doc/otter/examples/auto/mv25.out.gz
/usr/share/doc/otter/examples/auto/pigeon.in
/usr/share/doc/otter/examples/auto/pigeon.out.gz
/usr/share/doc/otter/examples/auto/ring_x2.in
/usr/share/doc/otter/examples/auto/ring_x2.out.gz
/usr/share/doc/otter/examples/auto/robbins.in
/usr/share/doc/otter/examples/auto/robbins.out.gz
/usr/share/doc/otter/examples/auto/salt.in
/usr/share/doc/otter/examples/auto/salt.out.gz
/usr/share/doc/otter/examples/auto/sam.in
/usr/share/doc/otter/examples/auto/sam.out.gz
/usr/share/doc/otter/examples/auto/steam.in
/usr/share/doc/otter/examples/auto/steam.out.gz
/usr/share/doc/otter/examples/auto/tba_gg.in
/usr/share/doc/otter/examples/auto/tba_gg.out.gz
/usr/share/doc/otter/examples/auto/w_sk.in
/usr/share/doc/otter/examples/auto/w_sk.out.gz
/usr/share/doc/otter/examples/auto/wang1.in
/usr/share/doc/otter/examples/auto/wang1.out.gz
/usr/share/doc/otter/examples/auto/x2_quant.in
/usr/share/doc/otter/examples/auto/x2_quant.out.gz
/usr/share/doc/otter/examples/auto/z11.in
/usr/share/doc/otter/examples/auto/z11.out.gz
/usr/share/doc/otter/examples/fringe/README
/usr/share/doc/otter/examples/fringe/bring.in
/usr/share/doc/otter/examples/fringe/bring.out.gz
/usr/share/doc/otter/examples/fringe/ec_yql.in
/usr/share/doc/otter/examples/fringe/ec_yql.in.28897
/usr/share/doc/otter/examples/fringe/ec_yql.out.gz
/usr/share/doc/otter/examples/fringe/gl4.in
/usr/share/doc/otter/examples/fringe/gl4.in.28897
/usr/share/doc/otter/examples/fringe/gl4.out.gz
/usr/share/doc/otter/examples/fringe/gl8.in
/usr/share/doc/otter/examples/fringe/gl8.out
/usr/share/doc/otter/examples/fringe/if.in
/usr/share/doc/otter/examples/fringe/if.out.gz
/usr/share/doc/otter/examples/fringe/index.html
/usr/share/doc/otter/examples/fringe/lexical1.in
/usr/share/doc/otter/examples/fringe/lexical1.out
/usr/share/doc/otter/examples/fringe/lexical2.in
/usr/share/doc/otter/examples/fringe/lexical2.out
/usr/share/doc/otter/examples/fringe/lexical3.in
/usr/share/doc/otter/examples/fringe/lexical3.out
/usr/share/doc/otter/examples/fringe/luka5h.in.gz
/usr/share/doc/otter/examples/fringe/luka5h.out.gz
/usr/share/doc/otter/examples/fringe/mfl_13.in
/usr/share/doc/otter/examples/fringe/mfl_13.out.gz
/usr/share/doc/otter/examples/fringe/olsax_hints.in.gz
/usr/share/doc/otter/examples/fringe/olsax_hints.out.gz
/usr/share/doc/otter/examples/fringe/rob_ocd.in
/usr/share/doc/otter/examples/fringe/rob_ocd.out.gz
/usr/share/doc/otter/examples/fringe/x3tricks.in.gz
/usr/share/doc/otter/examples/fringe/x3tricks.out.gz
/usr/share/doc/otter/examples/index.html
/usr/share/doc/otter/examples/ivy/README
/usr/share/doc/otter/examples/ivy/cd-cn19.in
/usr/share/doc/otter/examples/ivy/cd-cn19.out.gz
/usr/share/doc/otter/examples/ivy/comb-sk-w.in
/usr/share/doc/otter/examples/ivy/comb-sk-w.out.gz
/usr/share/doc/otter/examples/ivy/group-comm.in
/usr/share/doc/otter/examples/ivy/group-comm.out.gz
/usr/share/doc/otter/examples/ivy/group-x2-refute.in
/usr/share/doc/otter/examples/ivy/group-x2-refute.out.gz
/usr/share/doc/otter/examples/ivy/group-x2.in
/usr/share/doc/otter/examples/ivy/group-x2.out.gz
/usr/share/doc/otter/examples/ivy/index.html
/usr/share/doc/otter/examples/ivy/lifsch.in
/usr/share/doc/otter/examples/ivy/lifsch.out.gz
/usr/share/doc/otter/examples/ivy/p-and-not-p.in
/usr/share/doc/otter/examples/ivy/p-and-not-p.out
/usr/share/doc/otter/examples/ivy/steam.in
/usr/share/doc/otter/examples/ivy/steam.out.gz
/usr/share/doc/otter/examples/ivy/t1.in
/usr/share/doc/otter/examples/ivy/t1.out.gz
/usr/share/doc/otter/examples/kalman/README
/usr/share/doc/otter/examples/kalman/ex_1.in
/usr/share/doc/otter/examples/kalman/ex_1.out.gz
/usr/share/doc/otter/examples/kalman/ex_2.in
/usr/share/doc/otter/examples/kalman/ex_2.out.gz
/usr/share/doc/otter/examples/kalman/ex_3.in
/usr/share/doc/otter/examples/kalman/ex_3.out.gz
/usr/share/doc/otter/examples/kalman/ex_4.in
/usr/share/doc/otter/examples/kalman/ex_4.out.gz
/usr/share/doc/otter/examples/kalman/i1.in
/usr/share/doc/otter/examples/kalman/i1.out
/usr/share/doc/otter/examples/kalman/i2.in
/usr/share/doc/otter/examples/kalman/i2.out
/usr/share/doc/otter/examples/kalman/i3.in.gz
/usr/share/doc/otter/examples/kalman/i3.out.gz
/usr/share/doc/otter/examples/kalman/i4.in.gz
/usr/share/doc/otter/examples/kalman/i4.out.gz
/usr/share/doc/otter/examples/kalman/index.html
/usr/share/doc/otter/examples/misc/README
/usr/share/doc/otter/examples/misc/andrews.in
/usr/share/doc/otter/examples/misc/andrews.in.28752
/usr/share/doc/otter/examples/misc/andrews.out.gz
/usr/share/doc/otter/examples/misc/cn.in
/usr/share/doc/otter/examples/misc/cn.in.28752
/usr/share/doc/otter/examples/misc/cn.out.gz
/usr/share/doc/otter/examples/misc/dem_alu.in
/usr/share/doc/otter/examples/misc/dem_alu.in.28752
/usr/share/doc/otter/examples/misc/dem_alu.out
/usr/share/doc/otter/examples/misc/ec.in
/usr/share/doc/otter/examples/misc/ec.out.gz
/usr/share/doc/otter/examples/misc/index.html
/usr/share/doc/otter/examples/misc/kb_bench.in
/usr/share/doc/otter/examples/misc/kb_bench.out.gz
/usr/share/doc/otter/examples/misc/mv.in
/usr/share/doc/otter/examples/misc/mv.in.28752
/usr/share/doc/otter/examples/misc/mv.out.gz
/usr/share/doc/otter/examples/misc/sax1.in
/usr/share/doc/otter/examples/misc/sax1.out.gz
/usr/share/doc/otter/examples/misc/sax2.in
/usr/share/doc/otter/examples/misc/sax2.out.gz
/usr/share/doc/otter/examples/misc/stage1.in
/usr/share/doc/otter/examples/misc/stage1.out.gz
/usr/share/doc/otter/examples/misc/stage2.in
/usr/share/doc/otter/examples/misc/stage2.out.gz
/usr/share/doc/otter/examples/misc/str_bws.in
/usr/share/doc/otter/examples/misc/str_bws.in.28752
/usr/share/doc/otter/examples/misc/str_bws.out.gz
/usr/share/doc/otter/examples/program/README
/usr/share/doc/otter/examples/program/eval.in
/usr/share/doc/otter/examples/program/eval.out
/usr/share/doc/otter/examples/program/index.html
/usr/share/doc/otter/examples/program/jugs.in
/usr/share/doc/otter/examples/program/jugs.out
/usr/share/doc/otter/examples/program/mission.in
/usr/share/doc/otter/examples/program/mission.out.gz
/usr/share/doc/otter/examples/program/queens.in
/usr/share/doc/otter/examples/program/queens.out.gz
/usr/share/doc/otter/examples/program/two_inv.in
/usr/share/doc/otter/examples/program/two_inv.out
/usr/share/doc/otter/examples/split/GEO010-2.in.gz
/usr/share/doc/otter/examples/split/GEO010-2.out.gz
/usr/share/doc/otter/examples/split/GEO036-2.in
/usr/share/doc/otter/examples/split/GEO036-2.out.gz
/usr/share/doc/otter/examples/split/GRP025-1.in.gz
/usr/share/doc/otter/examples/split/GRP025-1.out.gz
/usr/share/doc/otter/examples/split/README
/usr/share/doc/otter/examples/split/README.more
/usr/share/doc/otter/examples/split/group2.in
/usr/share/doc/otter/examples/split/group2.out.gz
/usr/share/doc/otter/examples/split/index.html
/usr/share/doc/otter/examples/split/noncomm-group.in.gz
/usr/share/doc/otter/examples/split/noncomm-group.out.gz
/usr/share/doc/otter/examples/split/pair.in
/usr/share/doc/otter/examples/split/pair.out.gz
/usr/share/doc/otter/examples/split/pigeon5.in
/usr/share/doc/otter/examples/split/pigeon5.out.gz
/usr/share/doc/otter/examples/split/power.in
/usr/share/doc/otter/examples/split/power.out.gz
/usr/share/doc/otter/examples/split/temp1
/usr/share/doc/otter/examples/split/wang3.in
/usr/share/doc/otter/examples/split/wang3.out.gz
/usr/share/doc/otter/examples/split/zebra2.in
/usr/share/doc/otter/examples/split/zebra2.out.gz
/usr/share/doc/otter/examples/split/zebra4.in
/usr/share/doc/otter/examples/split/zebra4.out.gz
/usr/share/doc/otter/examples/summary
/usr/share/doc/otter/examples/wos/README
/usr/share/doc/otter/examples/wos/README.more
/usr/share/doc/otter/examples/wos/cursory.in.gz
/usr/share/doc/otter/examples/wos/cursory.out.gz
/usr/share/doc/otter/examples/wos/grp_exp3.in
/usr/share/doc/otter/examples/wos/grp_exp3.out.gz
/usr/share/doc/otter/examples/wos/grp_exp4.in.gz
/usr/share/doc/otter/examples/wos/grp_exp4.out.gz
/usr/share/doc/otter/examples/wos/index.html
/usr/share/doc/otter/examples/wos/manyval.in
/usr/share/doc/otter/examples/wos/manyval.out.gz
/usr/share/doc/otter/examples/wos/rigorous.in.gz
/usr/share/doc/otter/examples/wos/rigorous.out.gz
/usr/share/doc/otter/examples/wos/rob_occ.in
/usr/share/doc/otter/examples/wos/rob_occ.out.gz
/usr/share/doc/otter/examples/wos/twoval.in.gz
/usr/share/doc/otter/examples/wos/twoval.out.gz
/usr/share/doc/otter/otter33.html
/usr/share/doc/otter/otter33.ps.gz
/usr/share/man/man1/otter.1.gz