@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p1
@comment subdir=math/prover9/ladr cdrom=yes ftp=yes
@arch i386
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.60.1
@wantlib m.7.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha TL9cvU6FpG3hU5RrA/vbkj4f5Q8zhwR56dttvmPFElQ=
@size 298700
@bin libexec/prover9/clausefilter
@sha sHLv98RJan/CnCmpqK95z8ViwtgF19XNIwNkrU0c+Nk=
@size 216888
@bin libexec/prover9/clausetester
@sha bpG2+ts69UegeDhti+tW1LSjsKt1Kk155NiHvgLkIaM=
@size 216792
@bin libexec/prover9/dprofiles
@sha lTcWLKj/4I6S7wTeV8yDIS8HXNyPnyyjDolcGoKtSY4=
@size 216696
@bin libexec/prover9/fof-prover9
@sha z0tqwxE4EQiEQwSWriI/Os7YKNyBFnccPQjzLpZqoG8=
@size 298444
@bin libexec/prover9/idfilter
@sha IZAWBeQrWd5t/2FbC0F/BvDmTLIgIkxnbYogLczOsWc=
@size 196764
@bin libexec/prover9/interpfilter
@sha C9y8/oVg4wKf+rXMCZ9oCVG7/3+7K8CX77prVBTxGks=
@size 217048
@bin libexec/prover9/interpformat
@sha fjq1LMHm4lv+MS32zVf1dW+cexcTP1DMdfH2t5+dlcw=
@size 221368
@bin libexec/prover9/isofilter
@sha R5no7DEdVzXYWTQ1kL98stGjt7VL4945RqLt3HRk9N4=
@size 217016
@bin libexec/prover9/isofilter0
@sha Ydd08mCZ/zdlq4cFNfbSaXh1Hs/VvEx6O1mhwF/2qVo=
@size 216984
@bin libexec/prover9/isofilter2
@sha RfIiMnIwJf9i4qnuOW5xFcFDK4tlQFa5c4V6jshmg9E=
@size 217016
@bin libexec/prover9/ladr_to_tptp
@sha knlBY4uiZF+cX8EFnaJVl9l14TXxXb7fExAGQjz2pV8=
@size 306856
@bin libexec/prover9/latfilter
@sha 1PVJPtSXpizLbdOA+kuRvKaXwRWhYQeXjMd0sRwqO/Q=
@size 196572
@bin libexec/prover9/mace4
@sha 7UiVVUoTHurY0edyqii7cuQURNidV95/k6NGSqIaE+s=
@size 249788
@bin libexec/prover9/miniscope
@sha Om7ekSLKhzwmxctXO6PR9iqn2GqiUUJEW8vhO3Rdr+8=
@size 191964
@bin libexec/prover9/mirror-flip
@sha jEVvu47rY1z0HZCHUdv8NtsYDHqBp0WrQujLewbge/E=
@size 196060
@bin libexec/prover9/newauto
@sha vvZ4hhiy1jQKu8RUpU/48xzFtCuQ3e4LPN8yCd32sgE=
@size 299084
@bin libexec/prover9/newsax
@sha g/+RtHpAOnqsBK3z073psyDvg57k8g7lxwpyZBlMAEg=
@size 305516
@bin libexec/prover9/olfilter
@sha ewfEIp0yxKPvo+MX8g5KZhVwTSZio/Chg2Mp2erevYk=
@size 196636
@bin libexec/prover9/perm3
@sha LAL1QGieFHTdOiJhhL21dACB8L+T6mhXpYRDNYZqmKc=
@size 196060
@bin libexec/prover9/prooftrans
@sha aABEW/uefXbRV7KbvNiztCLZnyMPEdNApT6Ie9G6R54=
@size 200848
@bin libexec/prover9/prover9
@sha F/O2Mt+HsYr+q3ADYtHqF3NOapnFdD+QhIoDoGI2W6Q=
@size 298284
@bin libexec/prover9/renamer
@sha vqY4EB6mr459yDBVLlnq2jdR2BuiYakiTudvZ/9NP+s=
@size 192252
@bin libexec/prover9/rewriter
@sha X0cd5FOZF3kR8gNTDJCRyzRwbO4ks3Ly7FTtPbMoOHc=
@size 192604
@bin libexec/prover9/sigtest
@sha D90R54P2Nhh6ikeJhghSacoTJ+jflsC/Jtpw7wzXYmc=
@size 216568
@bin libexec/prover9/tptp_to_ladr
@sha dwK5aMY3J3DL4fdusyreH09h3MF3fV7g0pqm1ZAe/AU=
@size 306760
@bin libexec/prover9/unfast
@sha oMkeU1zmZ4xxVrx5lGu7mcePXKd72wdLdQjIDdhBQvY=
@size 192316
@bin libexec/prover9/upper-covers
@sha aXgn6X5g44Cmlt12qnJGU8PLn+au8bbnWXpHWSybWMk=
@size 216856
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
