@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@signer openbsd-55-pkg
@digital-signature signify:2014-03-14T10:22:11Z:RWQQC1M9dhm/tlLcEX2IyiafVOyJZaonJthR+eza65XwEqTqQrKBu11mq0d6AFFw9BvAunWcxjE1UzDT8NZlulxBfQMwoV9CMAU=
@comment pkgpath=math/prover9/ladr cdrom=yes ftp=yes
@arch powerpc,macppc
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.73.1
@wantlib m.9.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha fNkxlAHIbHkBM2zFCoDuKHxbTml3jzKHyIF7EoNqfMc=
@size 385776
@bin libexec/prover9/clausefilter
@sha 7RnntAtAwolizuX8oZASmsTUynUpikWSQcw8MzhBrcw=
@size 285504
@bin libexec/prover9/clausetester
@sha tv9A5DWBKFm6E1uUb6HVpyKMgeRy2Fey+LcSkeqqze8=
@size 285424
@bin libexec/prover9/dprofiles
@sha 4pwmyB/Ox51bZv+h83b8KbI9XdWOfI//Sl7SdhdvmU8=
@size 285344
@bin libexec/prover9/fof-prover9
@sha SRcVrK+TBQPN0Oc8bFkraJ9VwDNrPWMmsWu1MiUP1Io=
@size 381952
@bin libexec/prover9/idfilter
@sha +r2M83U1XTjXSv2V6gU3gPSk4+qlK89rgxxwpFuJm5E=
@size 256536
@bin libexec/prover9/interpfilter
@sha J7e+koei3U1on2Hvkphf0MkI3+d/YUCQ3PORw74N7go=
@size 284504
@bin libexec/prover9/interpformat
@sha +cwmpuoB0lDhjyTh3N9Bv7xoToWr80lpIcap++KFUbo=
@size 286548
@bin libexec/prover9/isofilter
@sha zJ4FeKWyjMzdjI0hetLmVT+jHpN0zoQQ39FPnEM1qTk=
@size 285664
@bin libexec/prover9/isofilter0
@sha RmUUglDv3M3N5v5OIthTQRI2bh18GTT20QVQm+Cz5Vw=
@size 285616
@bin libexec/prover9/isofilter2
@sha UyA1YrMM1uErXCIoQ5jEFy2aYirw2XUKJFHCuS3PidI=
@size 285664
@bin libexec/prover9/ladr_to_tptp
@sha NvfZvtMh+1AEJz3dMc/FjLLcyLdloLixCmkWMpyE9Vs=
@size 389872
@bin libexec/prover9/latfilter
@sha ono9vGDNenmRCiq5WRHEdk+gXE3slULbQoYLWE+mDjk=
@size 256644
@bin libexec/prover9/mace4
@sha 4TallD30oYFoFzjJWEHjtIXejpxSo/gJTmsFF/CZ1uo=
@size 326352
@bin libexec/prover9/miniscope
@sha Wbg+nSgg+roFce/OW8TVBbcTS+lzeZVQhRmmWiMAYzY=
@size 256528
@bin libexec/prover9/mirror-flip
@sha xGqDqGIaW+G2O87NONa6p0eHlMKsob31MrxXRSyccmE=
@size 256544
@bin libexec/prover9/newauto
@sha gwZ5sSDs3GIFRhUdg4jTCxJB3qtOTVXm3ZQavIuFckY=
@size 385776
@bin libexec/prover9/newsax
@sha 11a8vVYiUd/i+HDS2Np8bOYqoQM3L4Gr4uOc2As8Vcs=
@size 385776
@bin libexec/prover9/olfilter
@sha 9oCAFNZ5DykumocKVdw6brnLS1Tut6gznr4qkaiD1Xo=
@size 259776
@bin libexec/prover9/perm3
@sha eGfCA04QZPc83BliSdfKnPRzjb3Mi167aaHnBNPWgZc=
@size 256544
@bin libexec/prover9/prooftrans
@sha 4L849hnOIhbps8Fme4eiHJjq2CQYoqhL93oJ2FYx8tc=
@size 262676
@bin libexec/prover9/prover9
@sha Ket1ypK6dlVCtSkvu86ml9YP1APFoWb/+O7qah0dOIs=
@size 381720
@bin libexec/prover9/renamer
@sha S5P1ewWZXauZYAF27esdsCYvB13gduPYfzOHvX95ZRY=
@size 256816
@bin libexec/prover9/rewriter
@sha auhuCQYiAcQ6JB/LHGov53GIbE6a10loGBr1FxhYtpo=
@size 256280
@bin libexec/prover9/sigtest
@sha wDkGbK9Fyoq9XeZFpAOpLuXD5GhxVJRDqPIhimPrZqE=
@size 285216
@bin libexec/prover9/tptp_to_ladr
@sha UQc23/IaRwT1ZtT0lvMDDGGtC20QjM4SSXDxPNNg7oc=
@size 389872
@bin libexec/prover9/unfast
@sha Yu+9D2215a1m5Jv5Jk+8h8oml0HTOW3TPgx4Pms5GsE=
@size 256864
@bin libexec/prover9/upper-covers
@sha MBgxbFHai/rBH98hpbtEmvhABKGzbf2KGF93gGx72QY=
@size 285488
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
