@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@signer openbsd-56-pkg
@digital-signature signify:2014-09-02T11:54:27Z:RWSPEf7Vpp2j0AZiPfAYNyeLz3r82KiXkLsEI0IUo5aokKfiBhRDCU/b7nZAjebKu/MIseCZY0wHPIiJ0F4YYqwRqYnC3HQGFAc=
@comment pkgpath=math/prover9/ladr cdrom=yes ftp=yes
@arch mips64el,loongson
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.77.0
@wantlib m.9.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha gQfhu+L9sO7EBi+2nZqKMm4bPJQUnT3+yWTVDfPIOXE=
@size 602024
@bin libexec/prover9/clausefilter
@sha 6YAcNUvLxioTIyOPlxFftwXKB0dDG4T8BL0zu+TU9XY=
@size 444552
@bin libexec/prover9/clausetester
@sha DfFGND9gRW58guQw6gMpCQW8VUJr2o4pLfjmM0d08B8=
@size 443656
@bin libexec/prover9/dprofiles
@sha qzP64JD4ygRKnarHHAdx8btjDFoA3Q59q0q5KFWGODo=
@size 443096
@bin libexec/prover9/fof-prover9
@sha 9+iliYzTYBW6tYOtrNHylPu3CKiLz68qhXWC0ccfnUU=
@size 600984
@bin libexec/prover9/idfilter
@sha dsot5YQS5+G4CUG3IUEqU0Jy+WYHdeZS+PNU1xo8qkY=
@size 407656
@bin libexec/prover9/interpfilter
@sha bbroPaT5jKz7O6YIa670o6AC/6VFytezBkz9hmXzJ5U=
@size 444280
@bin libexec/prover9/interpformat
@sha WWecwt1umOqgTsBEH1AFhyrZtQMcDCHhMW0wwx1tUt8=
@size 446984
@bin libexec/prover9/isofilter
@sha XwZnzVZUXnlQcjhiYeN9dGbh8y4UOBWme4FrjMqikVc=
@size 445432
@bin libexec/prover9/isofilter0
@sha tiJqV/zJFe/NmKQkzlGgwgXiK+MiClnHXVUjUsG/TmM=
@size 445000
@bin libexec/prover9/isofilter2
@sha AM8avKl+0QNHM+leGrYVWlZ1o6lRyESWUBd8KCTIpVs=
@size 445528
@bin libexec/prover9/ladr_to_tptp
@sha a3JyMI1CGIvNTNMJD2csXQy5GilLq904Zwb+G/4dtMM=
@size 609960
@bin libexec/prover9/latfilter
@sha bS3Csp6AHH561NohSuUBLMr26HM5LnYfyxSTJj9UPyU=
@size 408040
@bin libexec/prover9/mace4
@sha B0MK9FciO/qTQ1jaDSve+RREkQNoxLu/VAOTUbCxfFw=
@size 502792
@bin libexec/prover9/miniscope
@sha TP5trML73w2270VJT37l2CPjFYMXQremgmhmOi51Jfc=
@size 405528
@bin libexec/prover9/mirror-flip
@sha 1NySOggJBXIyjIOQ11b91e01uxVEgft041KDiF+5f78=
@size 406504
@bin libexec/prover9/newauto
@sha XQMN1IJYk8zpVI/0h+Q2jcJ9aHQXsQV9Muq+Aoymb3o=
@size 603192
@bin libexec/prover9/newsax
@sha 15c7JitKIcZBVaVfxE4olYkLfiC14a1J4mTcGpXRYgs=
@size 603912
@bin libexec/prover9/olfilter
@sha M1zfota6JY6fcRcxJa6KuGWIuNILL7v9vSoLkTKcCmg=
@size 412112
@bin libexec/prover9/perm3
@sha ArzUif01laBFtHeX285AszSMFz80FaG6S8owiTKxTfs=
@size 407208
@bin libexec/prover9/prooftrans
@sha t9Ufq4Z4TDfMzmGWNL3CXjneef0JNs7pGWaF+qXEydM=
@size 416280
@bin libexec/prover9/prover9
@sha zUwh74Nmqq4+lMNo/U8FviWV+Iyg1sYcGqrNW9e0eQM=
@size 600712
@bin libexec/prover9/renamer
@sha ehIqRCBY2H6SselBWuMIL2kFXk1xFvSmYXiMpkRRj3M=
@size 406184
@bin libexec/prover9/rewriter
@sha mczj8GQR1zlUXnyYME6QGLMEWqHsKdndN0JzEB71q7U=
@size 407256
@bin libexec/prover9/sigtest
@sha nQi97BE1GCMMep8vY3hHsyhV0ahDzDCx4ZdwWfXpVVk=
@size 443224
@bin libexec/prover9/tptp_to_ladr
@sha BDn7xCE2u5iQ5UHhY7GQ+ZGClRfNqxgh7tO2lOmavoU=
@size 610264
@bin libexec/prover9/unfast
@sha 4pQdtNMSTbyYQhKNZa33RiGchCzwLJ7rP1l7Eltr234=
@size 405544
@bin libexec/prover9/upper-covers
@sha lPmPmi1QpkYR0Q9ke3uaXwmX/ydl9jnN6P4zf3fc+Fg=
@size 443928
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
