@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@version 1
@comment pkgpath=math/prover9/ladr ftp=yes
@arch powerpc,macppc
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.95.1
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha xmSrTd8iJRGkcml4ox641U6nOmw1ADVLgCg/hSrHpb4=
@size 450196
@ts 1571401533
@bin libexec/prover9/clausefilter
@sha /UYrlTLQBXLb4u8Dkj9jdSWBwRoxsvtLrlMNy3JhPc4=
@size 333776
@ts 1571401533
@bin libexec/prover9/clausetester
@sha LEtb6xFqMKERaCPwMWvYYRVn+nviKcMt9ap09ObZ73I=
@size 333692
@ts 1571401533
@bin libexec/prover9/dprofiles
@sha iO9YCB4ne5PwZXwSif7z5Ze1Nfjy2kKcfeGyNdjmrS8=
@size 333608
@ts 1571401533
@bin libexec/prover9/fof-prover9
@sha L4h5F0ADB5Y75BxEaQHLvqu/vB3Ao/UmrLIjtGah9vE=
@size 450196
@ts 1571401533
@bin libexec/prover9/idfilter
@sha zp0Iaoka3Uia/De3KcE5Hy5KpQT9VjRJm+6ZRAxqpis=
@size 305484
@ts 1571401533
@bin libexec/prover9/interpfilter
@sha dxBGUgXjKDja7xwxntm0TKygVRMDSF7ZiWa9a5ZCsGY=
@size 333944
@ts 1571401533
@bin libexec/prover9/interpformat
@sha NTHqKuMeCqjspULesoNE1rfJSJFROoWxcBd6vWP1xbg=
@size 338268
@ts 1571401533
@bin libexec/prover9/isofilter
@sha WcXs4P/f8vTHip9OVbk/00WsYP6Cqp9o6o0y7iRw/a0=
@size 338020
@ts 1571401533
@bin libexec/prover9/isofilter0
@sha Om9jY51yCRUGOfZi0caZnADOOHorOd6+JSecImCZwwU=
@size 333880
@ts 1571401533
@bin libexec/prover9/isofilter2
@sha S3i1SXLv75PC2oNIWfRsaADzsbNEn8y2LHWw4ksEwrg=
@size 338020
@ts 1571401533
@bin libexec/prover9/ladr_to_tptp
@sha VaDH4hEGrEfUAousB8VoeM4PQMIH/EUsEFHP16tMRJc=
@size 454292
@ts 1571401533
@bin libexec/prover9/latfilter
@sha zd4qwJk0uXzXywXfdp4ZNF/V7cXLyM2nj2ib++M7yUE=
@size 305360
@ts 1571401533
@bin libexec/prover9/mace4
@sha 1IZtBEa9SCs3ZPTryFx6pVumOj9anHhmESZ6ich3rGQ=
@size 382680
@ts 1571401533
@bin libexec/prover9/miniscope
@sha /ygkQw9A0rFniHU1shrbItwlBdUXK5Gwi2sWUoGfySI=
@size 300700
@ts 1571401534
@bin libexec/prover9/mirror-flip
@sha ZbtDdvaAr7IuvdV8vD6ZODZHPJeWqKRqaDl682LJTQg=
@size 300720
@ts 1571401534
@bin libexec/prover9/newauto
@sha RJ1cGLF7gN+IP2Bw7JTYrcWQvsl5d7ayBwCuI/RaE5E=
@size 450196
@ts 1571401534
@bin libexec/prover9/newsax
@sha 61WzfdMKxUKxWbo2/w5AMwNmnrnmn1RVC8EX/mmHZ7g=
@size 450196
@ts 1571401534
@bin libexec/prover9/olfilter
@sha VdK8/DlVMSkJtBmc9VKYG7cp+ZYKwlvsegpRuZGbkds=
@size 305424
@ts 1571401534
@bin libexec/prover9/perm3
@sha rwxCMT7JbQFCZixITZ0HeDA1aL122Nk/iMtOQj4ETRc=
@size 304816
@ts 1571401534
@bin libexec/prover9/prooftrans
@sha 1DnFD2NPUEuf/ddyYhmLefQNANZx8Bw8H7wbW4O5YY4=
@size 313344
@ts 1571401534
@bin libexec/prover9/prover9
@sha UnQu8IHP9UemPQ1wFlJtC/N5xqeLnYlBWDK4jpw/EuU=
@size 450196
@ts 1571401534
@bin libexec/prover9/renamer
@sha kP0TJzhzYdZZPDnjLeVYiCwmea4MzF9QWB4zK3eF2Uw=
@size 300980
@ts 1571401534
@bin libexec/prover9/rewriter
@sha wkWNlLOnT8dbm4plHCxQw5KgWRroButNFa1FWe0OlVI=
@size 305424
@ts 1571401534
@bin libexec/prover9/sigtest
@sha 51u7cXpRdAqBr9zXe5X+62YLVIHQAaECrPPOxuY4al0=
@size 333484
@ts 1571401534
@bin libexec/prover9/tptp_to_ladr
@sha bEllceXVeLlcmGXOUKQD1slpqrGk9l3rkbNTMkBd2jo=
@size 458388
@ts 1571401534
@bin libexec/prover9/unfast
@sha n2oMDR33HcfHEjgl8BfB93Pwos7RVTa127zxNJsoq6s=
@size 301036
@ts 1571401534
@bin libexec/prover9/upper-covers
@sha URxWVvd6BVDVcxeh8ha8g5Zw6c987GPw2wQS6yNkG9s=
@size 333752
@ts 1571401534
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1571401534
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1571401534
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1571401534
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1571401534
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1571401534
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1571401534
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1571401535
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1571401535
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1571401535
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1571401534
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1571401534
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1571401535
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1571401535
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1571401535
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1571401535
