@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@comment pkgpath=math/prover9/ladr cdrom=yes ftp=yes
@arch hppa
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.66.2
@wantlib m.7.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha 3OF83fLa3/12jcp6pwHoo6DPHaN8TO+lr+vQXM52xHE=
@size 545364
@bin libexec/prover9/clausefilter
@sha J1mpf7RqHtbF7UGQdYtD5HtOH9R4lKVx/zetPz9q4ro=
@size 393620
@bin libexec/prover9/clausetester
@sha NwbpCwL5dboxWnAWWIaeGBNaI0iBsPs7Z+u5spE+3qY=
@size 392692
@bin libexec/prover9/dprofiles
@sha Y906fqB2hmpKEEAvzZUpY8zhH2E/ulFDu5bdFu9UvI8=
@size 392068
@bin libexec/prover9/fof-prover9
@sha 7PWn1nBRfNxRYyXyDruf6E6hkS6dBiNKGQCM6ePsID0=
@size 544132
@bin libexec/prover9/idfilter
@sha w/ThRLV3uayumhFNfbeMzuMKD0/lkO3TvL9/c10SDwc=
@size 359172
@bin libexec/prover9/interpfilter
@sha K4f7+7udc2Zx5hIQDaSISCFNbG+hjYefgP3qnFMktA8=
@size 393316
@bin libexec/prover9/interpformat
@sha 2AKujclAhj/ae5dLGiJiz7XX4DigN2ScoFkrPwUsMDA=
@size 396180
@bin libexec/prover9/isofilter
@sha P97g5KloqMO18jK1Ng+R4k9XruZehYd2O1Ur2Mm96J0=
@size 394708
@bin libexec/prover9/isofilter0
@sha exJG1AGaE2kr0jmbdJ82Mpwu5JQkdb8unJIVuo0Js+4=
@size 394196
@bin libexec/prover9/isofilter2
@sha QO2oUrMoMk1RUvqT8VEn4zdeVQVhZTA+64fkPYf/ktA=
@size 394804
@bin libexec/prover9/ladr_to_tptp
@sha mC4/YTOMdVpTKX30C2yAjdtolDQIVcxIkcXr4UglujE=
@size 552660
@bin libexec/prover9/latfilter
@sha y9zqYn0Pl2Wc2wYlb6jVfsb9VUlZre2/CoU1NcBLtas=
@size 359332
@bin libexec/prover9/mace4
@sha ZS3iWhe7AHNrZPDjsS0eLFIHBKTNERtSaWzPD5ZfkJE=
@size 449300
@bin libexec/prover9/miniscope
@sha Y20PzF5MzcuVs811/pQAf7/fuggjSVHsLkk72QF7xTk=
@size 356804
@bin libexec/prover9/mirror-flip
@sha GiWPh4wPqmoSsfPXaW/4wdq7x66jfUZMWoKiH/TPN5k=
@size 357620
@bin libexec/prover9/newauto
@sha JPvgn4XbVr25muX3OQPTz9K7yA1r+ih0TBfcs/ORbJA=
@size 546484
@bin libexec/prover9/newsax
@sha 0TVHPEZ7RZvfukLGHOpKagZKjiiY2VmWozwCz9AvBTE=
@size 547268
@bin libexec/prover9/olfilter
@sha n21obE7ieAtuolaTqX/Nl4HPd+CoNZlgiGxgKEC9dt8=
@size 362868
@bin libexec/prover9/perm3
@sha DxyEuFn7h+63OUZ9rZfmp2nJARYT/zDes1FENs4xBlE=
@size 358452
@bin libexec/prover9/prooftrans
@sha uonbij12I28og8QGuCgvnT/62hy8/qiC8n4eltIuvMM=
@size 367684
@bin libexec/prover9/prover9
@sha y06NxigWuL5PD1jHlfa9kCCp5hajS3LzFAXZ+p6Muzk=
@size 543876
@bin libexec/prover9/renamer
@sha tPKP1XgRnN4KhTlp8fG+Y8yvzEuUvsld1D4T9Rc1ekE=
@size 357556
@bin libexec/prover9/rewriter
@sha cxHshGvLetgsLGifpdjCgtV2vNaDkrEx1SzuTl/byFk=
@size 358644
@bin libexec/prover9/sigtest
@sha WuYAFx7J2p/fmit3F/djzACiO0x4jYcQOhbQ/WRQux4=
@size 392276
@bin libexec/prover9/tptp_to_ladr
@sha 8BQEU7GeRPmEmQHizcndIFwo4LZLh0SJKLmB7qtCkYU=
@size 552932
@bin libexec/prover9/unfast
@sha pNE430FL8wp+etGniysH51/nQq0evRBQd0+Yb6uLJL4=
@size 356772
@bin libexec/prover9/upper-covers
@sha 3In+8yZcHG9FSTfmyx/16mOy1fJ/GnndBxU+uIaOYPo=
@size 393124
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
