@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 sparc64
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.89.3
@wantlib m.10.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha uYiffuwZHoUcWSq9PBfy0cv/wcOSAhe/akEWldTnqe0=
@size 554776
@ts 1492415808
@bin libexec/prover9/clausefilter
@sha nA3IHmYuXK+O+Vten72+1Gyg9YrXoaPM4PGEYV/pdR0=
@size 403928
@ts 1492415809
@bin libexec/prover9/clausetester
@sha znT9Cw3XUB5UA28CiPZxNfK+Dowb0Z9XEz4Ry0vgTsQ=
@size 395648
@ts 1492415809
@bin libexec/prover9/dprofiles
@sha PT0t/LsRbQL/5fH/672U4B+ZzI6xvVw/iJc0CuQLm14=
@size 395568
@ts 1492415809
@bin libexec/prover9/fof-prover9
@sha xCu+ZdP3wTajbMVksI1uvM28xdv2RjVPvt/415w52E8=
@size 554776
@ts 1492415809
@bin libexec/prover9/idfilter
@sha 4t24W8Rot9TNKvhcH6ZYraA/ulYiPZTQCUtaRuFKaXI=
@size 363336
@ts 1492415809
@bin libexec/prover9/interpfilter
@sha kjOoOIi6gLQMpw89RcQaCC7s4jfjKZx/7Leq+YLdj5g=
@size 404104
@ts 1492415809
@bin libexec/prover9/interpformat
@sha 3drH3wYpUsYa4VlX65tCfY/2OatPMiRE5KCj305DUaU=
@size 404320
@ts 1492415809
@bin libexec/prover9/isofilter
@sha f6PZzAtx2RcvJeuPp7TUSkW9HWdm8388a3npuBoihDQ=
@size 404072
@ts 1492415809
@bin libexec/prover9/isofilter0
@sha OtU4OUBe1JJTL9Ts956YhIB4NJxSAohv3o4t9g7lyHk=
@size 404032
@ts 1492415809
@bin libexec/prover9/isofilter2
@sha 8Q+Q18gnVZl3Ppif+wMr9i+UHR0MwzelzeRaUzMw4KU=
@size 404072
@ts 1492415809
@bin libexec/prover9/ladr_to_tptp
@sha yhOY3B/cc3wHlKdaym/HgSOHmLY2MYQQ+OX7iQRYPm0=
@size 562968
@ts 1492415810
@bin libexec/prover9/latfilter
@sha ZBJoNyouqDpZT3n5GIKikHqWdzwJwa65GWvG41aDe7Y=
@size 363160
@ts 1492415810
@bin libexec/prover9/mace4
@sha he3+JNd/wAoevQvgDTo/VJ+yeUEo+Emvx/IMLMfSkyE=
@size 460984
@ts 1492415810
@bin libexec/prover9/miniscope
@sha VnFURaHjELXHvADmhTuFllKsvJOu5RJ8kyIjCPI2fxg=
@size 362656
@ts 1492415810
@bin libexec/prover9/mirror-flip
@sha 6xlISr3wY3/nQb6RYqniuIEIl6P3MtpLfLV4YYT/ihA=
@size 362672
@ts 1492415810
@bin libexec/prover9/newauto
@sha 4l96j4ZHgf4oD3m+84MGR1WSRmIThPCrBFL4n+aq4GU=
@size 554776
@ts 1492415810
@bin libexec/prover9/newsax
@sha oD2IHNqWReVV4Ddp5MCdS8TAwPS8w4y/HkUUkAU6Kp4=
@size 554776
@ts 1492415810
@bin libexec/prover9/olfilter
@sha SFMyaJPXw8q5NuSadyAdKmFOu7EODCZigrUyO4dMkd0=
@size 371424
@ts 1492415810
@bin libexec/prover9/perm3
@sha im8WDh3FOAMQIXFe/k/53LsH0aIp7RNt81IawOC3rvI=
@size 362672
@ts 1492415810
@bin libexec/prover9/prooftrans
@sha LWC0MCcOJl4oZcg73R750lMogfLF1Gk2IT4C6rTR4C4=
@size 371200
@ts 1492415810
@bin libexec/prover9/prover9
@sha oWUyLESZhsh+mXy9FoKOzpenC3Xxfx7m+WtXrIuKkMM=
@size 554776
@ts 1492415810
@bin libexec/prover9/renamer
@sha 46ASFhq7/XeqA/CqNh0vwfCt1EZYOWmIiteviLvCqsM=
@size 362936
@ts 1492415811
@bin libexec/prover9/rewriter
@sha pv0xGvI5ESS2ICfTsJmGvC4d7+ub34wc9/l5cOjsnUs=
@size 363280
@ts 1492415811
@bin libexec/prover9/sigtest
@sha 1w3KneBdcBsSBJcb2/CWs0ojihXt67TiETjek1XlGaQ=
@size 395448
@ts 1492415811
@bin libexec/prover9/tptp_to_ladr
@sha IgOq/F0zNEp9JMN4XGWJm4JA9zp0CVs//WuwPyffh1U=
@size 562968
@ts 1492415811
@bin libexec/prover9/unfast
@sha Li3R6Ag0aYLOvVsFdHlxSLfTmBOL4GnzVOnDglFaPhQ=
@size 362992
@ts 1492415811
@bin libexec/prover9/upper-covers
@sha EjNfomgcI2mJ93mK4B/EtWG7VjL/EYJJ9Zz7TzQ/kXw=
@size 403904
@ts 1492415811
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1492415811
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1492415811
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1492415811
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1492415811
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1492415811
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1492415811
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1492415811
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1492415811
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1492415811
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1492415811
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1492415811
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1492415811
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1492415811
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1492415811
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1492415811
