183 lines
6.6 KiB
Text
183 lines
6.6 KiB
Text
@comment $NetBSD: PLIST,v 1.2 2009/06/14 18:05:47 joerg Exp $
|
|
bin/otter
|
|
share/doc/otter/Announce
|
|
share/doc/otter/Changelog
|
|
share/doc/otter/Copying
|
|
share/doc/otter/New_304.txt
|
|
share/doc/otter/New_305.txt
|
|
share/doc/otter/README.302
|
|
share/doc/otter/README.303
|
|
share/doc/otter/README.304
|
|
share/doc/otter/README.305
|
|
share/doc/otter/README.306
|
|
share/doc/otter/manual.dvi
|
|
share/doc/otter/manual.ps
|
|
share/doc/otter/manual.tex
|
|
share/doc/otter/manual.txt
|
|
share/doc/otter/split.txt
|
|
share/examples/otter/README
|
|
share/examples/otter/Run_all
|
|
share/examples/otter/auto/cn19.PII400
|
|
share/examples/otter/auto/cn19.in
|
|
share/examples/otter/auto/comm.PII400
|
|
share/examples/otter/auto/comm.in
|
|
share/examples/otter/auto/ec_yq.PII400
|
|
share/examples/otter/auto/ec_yq.in
|
|
share/examples/otter/auto/group.PII400
|
|
share/examples/otter/auto/group.in
|
|
share/examples/otter/auto/lifsch.PII400
|
|
share/examples/otter/auto/lifsch.in
|
|
share/examples/otter/auto/mv25.PII400
|
|
share/examples/otter/auto/mv25.in
|
|
share/examples/otter/auto/pigeon.PII400
|
|
share/examples/otter/auto/pigeon.in
|
|
share/examples/otter/auto/ring_x2.PII400
|
|
share/examples/otter/auto/ring_x2.in
|
|
share/examples/otter/auto/robbins.PII400
|
|
share/examples/otter/auto/robbins.in
|
|
share/examples/otter/auto/salt.PII400
|
|
share/examples/otter/auto/salt.in
|
|
share/examples/otter/auto/sam.PII400
|
|
share/examples/otter/auto/sam.in
|
|
share/examples/otter/auto/steam.PII400
|
|
share/examples/otter/auto/steam.in
|
|
share/examples/otter/auto/tba_gg.PII400
|
|
share/examples/otter/auto/tba_gg.in
|
|
share/examples/otter/auto/w_sk.PII400
|
|
share/examples/otter/auto/w_sk.in
|
|
share/examples/otter/auto/wang1.PII400
|
|
share/examples/otter/auto/wang1.in
|
|
share/examples/otter/auto/x2_quant.PII400
|
|
share/examples/otter/auto/x2_quant.in
|
|
share/examples/otter/auto/z11.PII400
|
|
share/examples/otter/auto/z11.in
|
|
share/examples/otter/fringe/bring.PII400
|
|
share/examples/otter/fringe/bring.in
|
|
share/examples/otter/fringe/ec_yql.PII400
|
|
share/examples/otter/fringe/ec_yql.in
|
|
share/examples/otter/fringe/gl4.PII400
|
|
share/examples/otter/fringe/gl4.in
|
|
share/examples/otter/fringe/gl8.PII400
|
|
share/examples/otter/fringe/gl8.in
|
|
share/examples/otter/fringe/if.PII400
|
|
share/examples/otter/fringe/if.in
|
|
share/examples/otter/fringe/lexical1.PII400
|
|
share/examples/otter/fringe/lexical1.in
|
|
share/examples/otter/fringe/lexical2.PII400
|
|
share/examples/otter/fringe/lexical2.in
|
|
share/examples/otter/fringe/lexical3.PII400
|
|
share/examples/otter/fringe/lexical3.in
|
|
share/examples/otter/fringe/luka5h.PII400
|
|
share/examples/otter/fringe/luka5h.in
|
|
share/examples/otter/fringe/mfl_13.PII400
|
|
share/examples/otter/fringe/mfl_13.in
|
|
share/examples/otter/fringe/rob_ocd.PII400
|
|
share/examples/otter/fringe/rob_ocd.in
|
|
share/examples/otter/fringe/x3tricks.PII400
|
|
share/examples/otter/fringe/x3tricks.in
|
|
share/examples/otter/ivy/cd-cn19.PII400
|
|
share/examples/otter/ivy/cd-cn19.in
|
|
share/examples/otter/ivy/comb-sk-w.PII400
|
|
share/examples/otter/ivy/comb-sk-w.in
|
|
share/examples/otter/ivy/group-comm.PII400
|
|
share/examples/otter/ivy/group-comm.in
|
|
share/examples/otter/ivy/group-x2-refute.PII400
|
|
share/examples/otter/ivy/group-x2-refute.in
|
|
share/examples/otter/ivy/group-x2.PII400
|
|
share/examples/otter/ivy/group-x2.in
|
|
share/examples/otter/ivy/lifsch.PII400
|
|
share/examples/otter/ivy/lifsch.in
|
|
share/examples/otter/ivy/p-and-not-p.PII400
|
|
share/examples/otter/ivy/p-and-not-p.in
|
|
share/examples/otter/ivy/steam.PII400
|
|
share/examples/otter/ivy/steam.in
|
|
share/examples/otter/ivy/t1.PII400
|
|
share/examples/otter/ivy/t1.in
|
|
share/examples/otter/kalman/ex_1.PII400
|
|
share/examples/otter/kalman/ex_1.in
|
|
share/examples/otter/kalman/ex_2.PII400
|
|
share/examples/otter/kalman/ex_2.in
|
|
share/examples/otter/kalman/ex_3.PII400
|
|
share/examples/otter/kalman/ex_3.in
|
|
share/examples/otter/kalman/ex_4.PII400
|
|
share/examples/otter/kalman/ex_4.in
|
|
share/examples/otter/kalman/i1.PII400
|
|
share/examples/otter/kalman/i1.in
|
|
share/examples/otter/kalman/i2.PII400
|
|
share/examples/otter/kalman/i2.in
|
|
share/examples/otter/kalman/i3.PII400
|
|
share/examples/otter/kalman/i3.in
|
|
share/examples/otter/kalman/i4.PII400
|
|
share/examples/otter/kalman/i4.in
|
|
share/examples/otter/misc/andrews.PII400
|
|
share/examples/otter/misc/andrews.in
|
|
share/examples/otter/misc/cn.PII400
|
|
share/examples/otter/misc/cn.in
|
|
share/examples/otter/misc/dem_alu.PII400
|
|
share/examples/otter/misc/dem_alu.in
|
|
share/examples/otter/misc/ec.PII400
|
|
share/examples/otter/misc/ec.in
|
|
share/examples/otter/misc/kb_bench.PII400
|
|
share/examples/otter/misc/kb_bench.in
|
|
share/examples/otter/misc/mv.PII400
|
|
share/examples/otter/misc/mv.in
|
|
share/examples/otter/misc/sax1.PII400
|
|
share/examples/otter/misc/sax1.in
|
|
share/examples/otter/misc/sax2.PII400
|
|
share/examples/otter/misc/sax2.in
|
|
share/examples/otter/misc/stage1.PII400
|
|
share/examples/otter/misc/stage1.in
|
|
share/examples/otter/misc/stage2.PII400
|
|
share/examples/otter/misc/stage2.in
|
|
share/examples/otter/misc/str_bws.PII400
|
|
share/examples/otter/misc/str_bws.in
|
|
share/examples/otter/objects
|
|
share/examples/otter/program/eval.PII400
|
|
share/examples/otter/program/eval.in
|
|
share/examples/otter/program/jugs.PII400
|
|
share/examples/otter/program/jugs.in
|
|
share/examples/otter/program/mission.PII400
|
|
share/examples/otter/program/mission.in
|
|
share/examples/otter/program/queens.PII400
|
|
share/examples/otter/program/queens.in
|
|
share/examples/otter/program/two_inv.PII400
|
|
share/examples/otter/program/two_inv.in
|
|
share/examples/otter/split/GEO010-2.PII400
|
|
share/examples/otter/split/GEO010-2.in
|
|
share/examples/otter/split/GEO036-2.PII400
|
|
share/examples/otter/split/GEO036-2.in
|
|
share/examples/otter/split/GRP025-1.PII400
|
|
share/examples/otter/split/GRP025-1.in
|
|
share/examples/otter/split/README
|
|
share/examples/otter/split/group2.PII400
|
|
share/examples/otter/split/group2.in
|
|
share/examples/otter/split/noncomm-group.PII400
|
|
share/examples/otter/split/noncomm-group.in
|
|
share/examples/otter/split/pair.PII400
|
|
share/examples/otter/split/pair.in
|
|
share/examples/otter/split/pigeon5.PII400
|
|
share/examples/otter/split/pigeon5.in
|
|
share/examples/otter/split/power.PII400
|
|
share/examples/otter/split/power.in
|
|
share/examples/otter/split/wang3.PII400
|
|
share/examples/otter/split/wang3.in
|
|
share/examples/otter/split/zebra2.PII400
|
|
share/examples/otter/split/zebra2.in
|
|
share/examples/otter/split/zebra4.PII400
|
|
share/examples/otter/split/zebra4.in
|
|
share/examples/otter/summary
|
|
share/examples/otter/wos/README
|
|
share/examples/otter/wos/cursory.PII400
|
|
share/examples/otter/wos/cursory.in
|
|
share/examples/otter/wos/grp_exp3.PII400
|
|
share/examples/otter/wos/grp_exp3.in
|
|
share/examples/otter/wos/grp_exp4.PII400
|
|
share/examples/otter/wos/grp_exp4.in
|
|
share/examples/otter/wos/manyval.PII400
|
|
share/examples/otter/wos/manyval.in
|
|
share/examples/otter/wos/rigorous.PII400
|
|
share/examples/otter/wos/rigorous.in
|
|
share/examples/otter/wos/rob_occ.PII400
|
|
share/examples/otter/wos/rob_occ.in
|
|
share/examples/otter/wos/twoval.PII400
|
|
share/examples/otter/wos/twoval.in
|