@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@version 4
@comment pkgpath=math/prover9/ladr ftp=yes
@arch powerpc,macppc
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.96.1
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha fueq2lHNu684Na/YwpZJlrlc85B4xlhXorsY1bMQytA=
@size 614184
@ts 1633402580
@bin libexec/prover9/clausefilter
@sha A3ccQukZeO1kOVfDsfkeA7Spj9BytS/bS5Me8jDvcDg=
@size 474624
@ts 1633402580
@bin libexec/prover9/clausetester
@sha XvKjpsGk8CMHUYL1LhJha2EQIJApHXza9qY75rYlu7s=
@size 473876
@ts 1633402580
@bin libexec/prover9/dprofiles
@sha Rh/sKpenIgN4VcHcynE/3ytZh8kB4BPx6fJiK+zCmdw=
@size 473204
@ts 1633402580
@bin libexec/prover9/fof-prover9
@sha WAceUbQUKUm/uQnqfnLWi+hy2hZbwqhCtUSEjGKtc8Q=
@size 613316
@ts 1633402580
@bin libexec/prover9/idfilter
@sha TDC3OOl/FzMPQuYJD9TIUh++QOrmIrDzSr1ZLcW6gzc=
@size 437148
@ts 1633402581
@bin libexec/prover9/interpfilter
@sha ZufYTHw+BGBq69cufQeKNWT8352D/2clXQpERkaws7M=
@size 474292
@ts 1633402581
@bin libexec/prover9/interpformat
@sha 1kg50f4S85koEicwoSljI2QJgvADMN+X5p0BxmAZTC8=
@size 476940
@ts 1633402581
@bin libexec/prover9/isofilter
@sha YuSZkeDtieqhHnwkxWuQk8odA4pqC1hPKBLZbswcNmg=
@size 474924
@ts 1633402581
@bin libexec/prover9/isofilter0
@sha +fwB1X80Qy9Q7I11sDu+yvDTNmO0gCSovFwIe5Ke0I8=
@size 474540
@ts 1633402581
@bin libexec/prover9/isofilter2
@sha tpcdJSYvDAa9aqM0T91wd4oVFVbXLpZWx/SAyMfDcJM=
@size 474936
@ts 1633402581
@bin libexec/prover9/ladr_to_tptp
@sha Sz1K77EgHOXSMjrpQaqZ8RC8f0t7xcr2WqFDIXVqI+E=
@size 622492
@ts 1633402581
@bin libexec/prover9/latfilter
@sha Aw8yxAtTZovKjFXoMFrUTieENqwh8RlBa02Bnp2miLA=
@size 437796
@ts 1633402581
@bin libexec/prover9/mace4
@sha f4kXK13i5Ty0lPFINIolF0VgDtn6f7vbOg3aTFGajVI=
@size 532108
@ts 1633402581
@bin libexec/prover9/miniscope
@sha QWiGgDHmSMpgS4AwJp/AgjNUfmfiIFGEIaHzNXy9s3s=
@size 435380
@ts 1633402581
@bin libexec/prover9/mirror-flip
@sha z3H6W0td/gsd491jetDRM+E/nRLrAIpheqghRqzN5Mc=
@size 436248
@ts 1633402582
@bin libexec/prover9/newauto
@sha B45Y206YcCJssmHNerzU9LT7SUINFVan6ntZv1ckHNY=
@size 615224
@ts 1633402582
@bin libexec/prover9/newsax
@sha swGEIFI/6021CV6AL6NkUFPpFtJnKi+LhB0xJP00Wkg=
@size 615868
@ts 1633402582
@bin libexec/prover9/olfilter
@sha oC49bVtn6Ak7gFLkNpwZW7LG9Jb1aVEPwJA/07GnF88=
@size 441248
@ts 1633402582
@bin libexec/prover9/perm3
@sha jL0+Y+aVsrjZeggSSC+hrkKRPNfv1ZCEpvn1sEavFQo=
@size 437028
@ts 1633402582
@bin libexec/prover9/prooftrans
@sha wUSb6+z6gT6aH39XnCh9+QrP8qE37Z7yVXpOym6AygM=
@size 446712
@ts 1633402582
@bin libexec/prover9/prover9
@sha l6NF6+KSEnOOIP+lgiWaiKRs7ff1Nxt//UFoPEaGeIA=
@size 613052
@ts 1633402582
@bin libexec/prover9/renamer
@sha KnUTb4+rwHwPRQqlvVmAab3SNpcGA6b+7j6xj2AZnzk=
@size 435964
@ts 1633402582
@bin libexec/prover9/rewriter
@sha qjmagbRNf5ZqEfDEwnTlqv+TTmAu4XuekfZPM+WCW/4=
@size 436828
@ts 1633402582
@bin libexec/prover9/sigtest
@sha 5q/DsMAN8L48ZxHHN0n25YLOwnEwXhHiuXHHU+fCRXA=
@size 473304
@ts 1633402582
@bin libexec/prover9/tptp_to_ladr
@sha 4cvG8Q7cxKppHRvbRWSpMOzh/ldXQAAxJhI0vb+mXbc=
@size 622852
@ts 1633402582
@bin libexec/prover9/unfast
@sha dyZZXR3bbz8iD3MuxUblKkPgxHGXZYslcKbwh/D2VOk=
@size 435588
@ts 1633402582
@bin libexec/prover9/upper-covers
@sha 1Iwrr27rpQqyjTV8bV/OArvUAAD1qXEpUEsAzlwWJRs=
@size 474160
@ts 1633402583
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1633402583
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1633402583
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1633402583
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1633402583
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1633402583
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1633402583
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1633402583
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1633402583
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1633402583
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1633402583
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1633402583
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1633402583
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1633402583
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1633402583
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1633402583
