@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@comment pkgpath=math/prover9/ladr cdrom=yes ftp=yes
@arch powerpc,macppc
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.89.3
@wantlib m.10.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha gerlXOB+2bwJoBzBScnVkV78SO+RAs/IauryD/uCCRk=
@size 450148
@ts 1492092030
@bin libexec/prover9/clausefilter
@sha mnFronPzCGqA3aAwF09x14oK5HtPIQ0rU5nV8DKtMyI=
@size 333728
@ts 1492092030
@bin libexec/prover9/clausetester
@sha UFP9gtt15mCJ5P+GSRCjXHGllO25PMNqRcJdrGxlFcA=
@size 333644
@ts 1492092030
@bin libexec/prover9/dprofiles
@sha 7EsNujVKvRHioURJ+hAH3b3+VztkLyq6+LC3MLs0Fu8=
@size 333560
@ts 1492092030
@bin libexec/prover9/fof-prover9
@sha GXuzlwvCUZLdzyYKTbYzP8X+pLEaCZPILYvZ4/pzvTE=
@size 450148
@ts 1492092030
@bin libexec/prover9/idfilter
@sha sSb1XbG5bBLWfajB17zyo9PJEalYqd0mTuLGQGOw5w4=
@size 301340
@ts 1492092030
@bin libexec/prover9/interpfilter
@sha A79veNhFMCC+PK6Z3XaB2F+XZk0Qi+7tUYn6MwlEIlY=
@size 333896
@ts 1492092031
@bin libexec/prover9/interpformat
@sha Hvd8vsimZQGSPR2uQJ2FJ7F7SzP5a07BqWGT7j4t5sI=
@size 338220
@ts 1492092031
@bin libexec/prover9/isofilter
@sha 3A50FuF8duLSuncz60Uiioc1a7SYV0QCaPhl5kMSAo8=
@size 333876
@ts 1492092031
@bin libexec/prover9/isofilter0
@sha v1F/Maor6tczwqeOtR/wNoq2jDIAMaGMrPi5jsux5vo=
@size 333832
@ts 1492092031
@bin libexec/prover9/isofilter2
@sha pt22o0Skmtgk0Haxsmh0+7aYANBW2kuGYoBY4FOKQ0U=
@size 333876
@ts 1492092032
@bin libexec/prover9/ladr_to_tptp
@sha Td3HwN7ixQHVEKmfo5srzyIz4IbYZ+NYgw7l9EC7bg0=
@size 454244
@ts 1492092032
@bin libexec/prover9/latfilter
@sha xa+GTax7Q1zcrJBIcLy+aUcR5mbiFjzj9FeYepw324U=
@size 305312
@ts 1492092032
@bin libexec/prover9/mace4
@sha qKcKpT2/ZtbaZXzR/jcfLQwofwiPwva6IpYNA2LYN6A=
@size 382632
@ts 1492092032
@bin libexec/prover9/miniscope
@sha YERqe8JWgyzZLnI8yl1SZc/1YvP9l6BRFbeLJT2rqOk=
@size 300652
@ts 1492092032
@bin libexec/prover9/mirror-flip
@sha XN1iR73B6bdOgZo0111gw2bk42FujYd42HBYmkqcN3I=
@size 300672
@ts 1492092032
@bin libexec/prover9/newauto
@sha cidNWiGnfIeHo4ij1PZ5hFqp1rvQTNhbQ0/f+B7QYDA=
@size 450148
@ts 1492092032
@bin libexec/prover9/newsax
@sha ycJtsJcss7Y7GZlU626L2VYTsbLegyC1uAKjT0WIfsU=
@size 450148
@ts 1492092032
@bin libexec/prover9/olfilter
@sha ls2KZ4FodWAPcm1vZWm7ktkH7fWseTR/niOHuzuE+Mk=
@size 305376
@ts 1492092032
@bin libexec/prover9/perm3
@sha RJNj88h8gjQg2bIIcgOVRP6/UPCKhWwy07qmRm6XWGo=
@size 304768
@ts 1492092032
@bin libexec/prover9/prooftrans
@sha Mo//tf29j5/nGrL6zfRu3WiSxWJBL45pPmF0TvkECas=
@size 309200
@ts 1492092032
@bin libexec/prover9/prover9
@sha z1xYKGHdGKncLyKLbRWpFuiJg5iMm5k+RoShp6Lvivw=
@size 450148
@ts 1492092032
@bin libexec/prover9/renamer
@sha Hm0YvHDOHk3mzEqhsqiYgfnKbqiWmWoKmW7lIxB1gqU=
@size 300932
@ts 1492092032
@bin libexec/prover9/rewriter
@sha rJUo26AWj/xaq9H3EV1KGLdIz8qROta/dIf4kQcIamg=
@size 301280
@ts 1492092032
@bin libexec/prover9/sigtest
@sha O5gxZCRXTGvR7uuSAsyHLKg4Frh9gV6+vwy62thtWiw=
@size 333436
@ts 1492092032
@bin libexec/prover9/tptp_to_ladr
@sha f1c0x7/kbgrP085plyYOl1swNPtl7oFxvPZRVaWmqF4=
@size 454244
@ts 1492092032
@bin libexec/prover9/unfast
@sha Im0ZtPeewd3GjGz/W/ITjQ94G7ro9olTS2ztPURp6OU=
@size 300988
@ts 1492092032
@bin libexec/prover9/upper-covers
@sha 5d5BeAUnmz8XVpFly4D6t1r9doLb6bDRheG2wdN/fa8=
@size 333704
@ts 1492092032
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1492092033
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1492092033
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1492092033
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1492092033
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1492092033
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1492092033
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1492092033
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1492092033
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1492092033
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1492092033
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1492092033
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1492092033
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1492092033
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1492092033
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1492092033
