@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@signer openbsd-56-pkg
@digital-signature signify:2014-08-09T17:28:04Z:RWSPEf7Vpp2j0IGnw6EKQQCSX0LPl7KrNTbbE/TGbzMyFL0J7Up7RLNAAWrkGiIfKaYlP8349NHqZPaOwKjgtepnFUns1l3TNA8=
@comment pkgpath=math/prover9/ladr cdrom=yes ftp=yes
@arch powerpc,macppc
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.77.0
@wantlib m.9.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha S2Dy1aPDg5QkXZm8ESscxeT1yj8jnzicHmN1kiZnXME=
@size 439164
@bin libexec/prover9/clausefilter
@sha uyODRh6GQlEIaHixOt6/JV/tuWfEoyHYJ7FYI7CZLpw=
@size 327092
@bin libexec/prover9/clausetester
@sha w8cSWxglE6mB1xnFNpANs9A2fsipUZGPkdQvivyC7Cw=
@size 326916
@bin libexec/prover9/dprofiles
@sha kM2zmp7K3vBJyjFAsfH7hpzIZt8lA/vyrwdjoco4TgA=
@size 326808
@bin libexec/prover9/fof-prover9
@sha 75RabKVinMEDaGgy7/S4JATw+enfZ1+IkJ+EKJ5k3kQ=
@size 438260
@bin libexec/prover9/idfilter
@sha RjQ7K6xMd662oY28CxIBIjhPUt+E92x3AhZB2AI0++A=
@size 298156
@bin libexec/prover9/interpfilter
@sha fW6WrlluvIFcN41RwcLxb1heFByE0csIiQ4sMSM6yQA=
@size 326800
@bin libexec/prover9/interpformat
@sha s6lDG/U25iz2r0k917e3Cusjh1Urv2wpPVmWJYEIFJ8=
@size 329260
@bin libexec/prover9/isofilter
@sha vcqsqyvk7YS4z5c4Psw5hb4WkmC+jGRIiCZB5Ji+Dcw=
@size 327608
@bin libexec/prover9/isofilter0
@sha 6hcSmbEgtJMHc2wfD8tM7UnRuxjcVzvsckWlNlDCWCo=
@size 327196
@bin libexec/prover9/isofilter2
@sha zWYqc8QA1WO5LwMAE1Pl1SK2uFVWeelzzQlw47JRnT8=
@size 327624
@bin libexec/prover9/ladr_to_tptp
@sha /pvlc7BSQa13dmwoh6pZNQOPoEw/xhrXyC+JE8AUqwU=
@size 446308
@bin libexec/prover9/latfilter
@sha Gij+7GwD3iYGJaX72BhznEDVHY4oBjlviw4RKCdBdxA=
@size 297996
@bin libexec/prover9/mace4
@sha meiTOxxnRIOG6Kedm3nDTtrNDN3pXpaNN4kgRkB9m48=
@size 373532
@bin libexec/prover9/miniscope
@sha uv6Tnr9ODaN9G0tiqmoE0YJ7XZ6hjrXO15//dpVQEvs=
@size 293704
@bin libexec/prover9/mirror-flip
@sha PFymAh14IEFFhbcnhLo4mQUGnJNbh912VyI5uTCUTns=
@size 297436
@bin libexec/prover9/newauto
@sha +Y7nPv2vVHhnp5U2KaWRS4SsefCZunWtM8u7B4OjIqg=
@size 440300
@bin libexec/prover9/newsax
@sha +z2E/OGmjT1n8h22F9LewzNGotDVdqe8lF9GZON2rYU=
@size 442196
@bin libexec/prover9/olfilter
@sha y0oP02g3tRZdBfqvwEm6sOiNsABTKU9RX6+d4nzqkPA=
@size 302196
@bin libexec/prover9/perm3
@sha mazSDtG0NMjnjQ6wVuK366if2kM9WTQiOX+X6u2PPWI=
@size 297472
@bin libexec/prover9/prooftrans
@sha azMDZ8S4uKcXYoW1y/KM24BgCdkNL6NIdRr2FLTD368=
@size 306328
@bin libexec/prover9/prover9
@sha TLiAeaabeCrz/Zi6cRpmBjbFZckpql5FqFM+tzHOXYw=
@size 437996
@bin libexec/prover9/renamer
@sha F1C+0gxnjj+ODlahpTVDgcVJogVjgKS0KctqeiunRok=
@size 297720
@bin libexec/prover9/rewriter
@sha u9J4SFYIuwjC1TXNvS3bD+XUmfpxlLHcK/l+U9qhgIA=
@size 298084
@bin libexec/prover9/sigtest
@sha rgsE5OO9TAKCcVj27rVGT0exwdAc8UajaSCFUw9wFc0=
@size 326692
@bin libexec/prover9/tptp_to_ladr
@sha i6NVDJoSp0ODu5rBqnKbJIAjpoFj37xGIAXU1l7Hzbk=
@size 446332
@bin libexec/prover9/unfast
@sha bnEH6jxv4q9tgTCYUsRMX5xLdGQ2NoBSkPWxdhc4lfs=
@size 293904
@bin libexec/prover9/upper-covers
@sha dKw7ZurfRFQ9YpZJSSsPpcfkea3QxvGLj8MURrExd3s=
@size 326644
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
