@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@signer openbsd-58-pkg
@digital-signature signify:2015-08-24T11:10:15Z:RWRlkI2aFHvL/U7Ixqu/KAxRsHyoFmrJzr66hQZNgxdQu61bm78Vg0Cp56vdojTtCMEXEz0TTq/m9W7z5R54AOMO7rc1qKTfwAE=
@comment pkgpath=math/prover9/ladr cdrom=yes ftp=yes
@arch powerpc,macppc
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.80.1
@wantlib m.9.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha /tmtshcgoQ4A4b+VOksVenT9CD1JQN/58g0KSAgdKrw=
@size 437812
@ts 1439459769
@bin libexec/prover9/clausefilter
@sha uPtJ5dVvSHT9fZnMh9VweuaLb7dVMYVzo31Zct7cNKA=
@size 326072
@ts 1439459769
@bin libexec/prover9/clausetester
@sha nD3dUXYGSM49Su/ao7IZ5lLVBuWsF53fBtPGBCff+9U=
@size 326212
@ts 1439459769
@bin libexec/prover9/dprofiles
@sha 5VLsXZW4JKoucMuPphzicl9O2bVunqBubVPMoScnabo=
@size 326104
@ts 1439459769
@bin libexec/prover9/fof-prover9
@sha ZL75GHHIS1Ypdi8o1OkF7R4oatazGCRiyzsOEX5hELg=
@size 437076
@ts 1439459769
@bin libexec/prover9/idfilter
@sha WuOUFE1r7fNKFPGn5HFltwa9fhP7ltW/EjFX5TZd4Wg=
@size 297452
@ts 1439459769
@bin libexec/prover9/interpfilter
@sha 9Vy8hoj50t9XUZeGwAyQphuRHaJ384G0K3CsCbZ1Bqg=
@size 325780
@ts 1439459769
@bin libexec/prover9/interpformat
@sha Q/Eg1ZCm5MOEROQlkedqESRXWB/FcfAgl7Sh6ybLneE=
@size 328228
@ts 1439459769
@bin libexec/prover9/isofilter
@sha UhCQm4LMzi2DZ/Z39jE1LcMpNozpI8QiBWpSXUXapho=
@size 326604
@ts 1439459769
@bin libexec/prover9/isofilter0
@sha uk/EaBdjfJExIoQI73so8m0/xvmAIzvuV0MMNufkUFA=
@size 326160
@ts 1439459769
@bin libexec/prover9/isofilter2
@sha 1REIx3UtG277Nc0f6yZtDti1T0uQd+G/603nLxroqiQ=
@size 326604
@ts 1439459769
@bin libexec/prover9/ladr_to_tptp
@sha KnNFdI4IZlN/r7Ok5FyG5WDsyJJT+XcBhCwLX30l6DA=
@size 445388
@ts 1439459769
@bin libexec/prover9/latfilter
@sha 3klKO5YgtIe5Ucybvpxerq7zDNepIRxtr9M+yVJ+t70=
@size 297276
@ts 1439459769
@bin libexec/prover9/mace4
@sha lgvfO00j3/P0+rMzRnNwsediiWESsHrB/fRe5Zi1c3s=
@size 372344
@ts 1439459769
@bin libexec/prover9/miniscope
@sha YmS0wwU3j1tULmuHx/UHI/XuGCWiEQWdGvFit1hcscQ=
@size 292668
@ts 1439459769
@bin libexec/prover9/mirror-flip
@sha 5cqR/vsxesj571o8lgw2LY1NQZc8tijvT59G2dZRi4w=
@size 293460
@ts 1439459769
@bin libexec/prover9/newauto
@sha UQgUjR8aI9hiKwtsC7hWRL1Ct2h5gtv1A9VAwt8UbK0=
@size 438936
@ts 1439459769
@bin libexec/prover9/newsax
@sha z3uEOyVlk3BvF2Slsm50TWESxnhf0zqd8WMY5P/yFyQ=
@size 441272
@ts 1439459769
@bin libexec/prover9/olfilter
@sha v4LqYeHFD/HvIqSRMOagl3DDQMfJubuezWdG7Zf8Dz4=
@size 301468
@ts 1439459769
@bin libexec/prover9/perm3
@sha QEHocnlDzXRuHxuD1e1cp8dsn86OH+gSub27HlzsluY=
@size 296768
@ts 1439459770
@bin libexec/prover9/prooftrans
@sha PR0szcxtwzf+VxqQSYVLYt5oxv6PEqdTo/3+/Q4kSjo=
@size 301468
@ts 1439459770
@bin libexec/prover9/prover9
@sha h+ug6CnjROU2VbxlOinUrCk30IXLh0A2Vd6Qzzt78j4=
@size 437068
@ts 1439459770
@bin libexec/prover9/renamer
@sha t4CSWQCPfGatASiJG8yrA6Hkv9vr8X24yw+CMQNLDLY=
@size 293268
@ts 1439459770
@bin libexec/prover9/rewriter
@sha MUBOkraV/2fhOIz9+jQZMAdfNfl+dOM4tsPfFo9ILfo=
@size 297380
@ts 1439459770
@bin libexec/prover9/sigtest
@sha 8Ig0A4zXvJapwrFO9t5sn3MvOl6+zryRwDnNGDLWHr0=
@size 325988
@ts 1439459770
@bin libexec/prover9/tptp_to_ladr
@sha tmZ4GZUcUJzmj/C9pGSkwvYraBy/3FwvztRzDdsUONQ=
@size 445412
@ts 1439459770
@bin libexec/prover9/unfast
@sha CflLjdswrdIeUMqIe12okeHW0SNee+uE9qimm1q8kxs=
@size 292940
@ts 1439459770
@bin libexec/prover9/upper-covers
@sha evuBOFn6TcLmr66hsk0oKo558b4otWZatk0eCxvTXQU=
@size 325624
@ts 1439459770
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1439459770
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1439459770
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1439459770
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1439459770
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1439459770
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1439459770
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1439459770
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1439459770
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1439459770
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1439459770
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1439459770
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1439459770
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1439459770
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1439459770
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1439459770
