@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:01:32Z:RWRlkI2aFHvL/fw72eUe8VRUdyPSzT1s5ZjjwXyqwlE8ACzIQQSG2rKHfbLzRZKha1ODcJWlKPGslhR95bLO2669dEMOKuqWug0=
@comment pkgpath=math/prover9/ladr cdrom=yes ftp=yes
@arch hppa
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.80.1
@wantlib m.9.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha gMDUnTVksiiUA7ofNlRfH5Al2r5SE+8Vjw/rcM/XNEs=
@size 545784
@ts 1439274287
@bin libexec/prover9/clausefilter
@sha y8SyFb80rElW+oB/J+XUOzK/lTA3E4KQlYY2Esanf5A=
@size 393956
@ts 1439274287
@bin libexec/prover9/clausetester
@sha orPdbc+feOKXG0C++dpDMskmWZcXFnBOmM5dhC1FU9E=
@size 393052
@ts 1439274288
@bin libexec/prover9/dprofiles
@sha jVAY/qE9nxJZlS7V6nQOa0EDoQ8xFiUITCv9TBLuiVg=
@size 392412
@ts 1439274288
@bin libexec/prover9/fof-prover9
@sha Y/ro5GhJBAPeDvF+4EJPrWE5qyVf2TE89UVnS12snVM=
@size 544552
@ts 1439274288
@bin libexec/prover9/idfilter
@sha UQFf9GD2Ijwu7l0umF1ATWsfrDzKqMkiUNIdLsYBCyg=
@size 359488
@ts 1439274288
@bin libexec/prover9/interpfilter
@sha 3ifDQG3si0zyNMFwgkP+tN8wCkILaqf7kgehUZLyE34=
@size 393660
@ts 1439274288
@bin libexec/prover9/interpformat
@sha f/Rbulgxsv8Ha2t5k55kpmnHytHyhMsHHZBoN0nRiN8=
@size 396540
@ts 1439274288
@bin libexec/prover9/isofilter
@sha Ved/vtmLIH1HtxjIQ+6W+Qqj8WB6P9o93sZiMZfRMtg=
@size 395060
@ts 1439274289
@bin libexec/prover9/isofilter0
@sha RxJ7xb70oos3ZsV4p+VWlTR0smlH/VueFJyzGThpyWI=
@size 394548
@ts 1439274289
@bin libexec/prover9/isofilter2
@sha ec+D8Bq13VOXaiSV+nyRpDAwh1Po8e9WO1LdOtlJlZE=
@size 395148
@ts 1439274289
@bin libexec/prover9/ladr_to_tptp
@sha P3XsfifIF4nJrdy0JH9sEjRHR65HS0ep6JTfDKv9QMo=
@size 553084
@ts 1439274289
@bin libexec/prover9/latfilter
@sha GEXxgTu0swv3R1XcSFN0uxFkdI1a7umuGye0dep8D3Y=
@size 359680
@ts 1439274289
@bin libexec/prover9/mace4
@sha aCueAAgLlqjbIFtO+wFlkCG1mhjiAe+Og1my1zd3lR4=
@size 449716
@ts 1439274290
@bin libexec/prover9/miniscope
@sha 0Ao0QwbNCtQWAx7x4Amf14SuqAZlY4TB/cjoV+HnZk4=
@size 357148
@ts 1439274290
@bin libexec/prover9/mirror-flip
@sha sFnOm8hS3lEdYkmpZdoChOwr2WQRxG1C1H7VYJQ4fi4=
@size 357936
@ts 1439274290
@bin libexec/prover9/newauto
@sha vxrJnkivmwv5ymOTNmQyu4Z119loNjzfNasgh4nsnd8=
@size 546876
@ts 1439274291
@bin libexec/prover9/newsax
@sha h7GVZiO3OQHZNvVotyNtWi4qNWnnnBS+IXm4Km009OY=
@size 547668
@ts 1439274291
@bin libexec/prover9/olfilter
@sha RVp7q8LUBBHLWpaEXmBgf2qbaBf9LQep/ofZNJ8D21Q=
@size 363284
@ts 1439274291
@bin libexec/prover9/perm3
@sha mCRgtfr5KHQBz/kIVRoXBUu2wdSLuKQn48gi//XUUZQ=
@size 358788
@ts 1439274291
@bin libexec/prover9/prooftrans
@sha 4v+EHC0hr4tLzVws9BMcXeCWXbpoXPWEvo9WqooNa70=
@size 368016
@ts 1439274291
@bin libexec/prover9/prover9
@sha W9H8/srazurw2O3poS2MJrgaiKw2vUjA1Mgorpkg0f0=
@size 544280
@ts 1439274291
@bin libexec/prover9/renamer
@sha hjps0kCK7YHnImKfKt4NQrI2j04dY22OF3Q/NhSxu1c=
@size 357876
@ts 1439274292
@bin libexec/prover9/rewriter
@sha 7etGpgvL+/LW7K9HlTDoA9og/dlVP5Hka+RyCturKoQ=
@size 358976
@ts 1439274292
@bin libexec/prover9/sigtest
@sha bFdt+xjBNpZH77GAHMYgMBW6XHFGTzxpKqZIIF6y5sw=
@size 392612
@ts 1439274292
@bin libexec/prover9/tptp_to_ladr
@sha 51UUJeLPuUfdUKGmZNGd6Kmd82dCovnDBhdtPTIDH8A=
@size 553328
@ts 1439274292
@bin libexec/prover9/unfast
@sha WiDUUN5bTWiY3qg3ujEJt8S8lBIS5Sv1qLdY66R4VN4=
@size 357116
@ts 1439274293
@bin libexec/prover9/upper-covers
@sha 5/pMws+ORJwDpHzYujWC6tZ+I/jjqmuxy9Sv7cn8Gko=
@size 393460
@ts 1439274293
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1439274293
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1439274293
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1439274293
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1439274293
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1439274293
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1439274293
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1439274293
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1439274293
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1439274293
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1439274293
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1439274293
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1439274293
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1439274293
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1439274293
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1439274293
