@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 hppa
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.89.3
@wantlib m.10.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha dcgn4BMBKW0zeDCMSjTpfjBvUDw0ED6piv5GpgcUI+g=
@size 548372
@ts 1491645146
@bin libexec/prover9/clausefilter
@sha cE5X6X7o4h7knn7dkJsbgeRcH2L9DbUS2NF12cl7kKg=
@size 395088
@ts 1491645146
@bin libexec/prover9/clausetester
@sha 0eYEDwDavod0uvilw2DG7FjMANYez+RLBNZ9w6lef3g=
@size 395004
@ts 1491645146
@bin libexec/prover9/dprofiles
@sha 3B78XQ99c+5jyIt6OPvF5hNDO52CC4lkd5s0nMfM0X0=
@size 394920
@ts 1491645146
@bin libexec/prover9/fof-prover9
@sha bfZM3p/MjAY1p/qLz0wpPKLytzwVWTS9tz+iOSear0Y=
@size 544276
@ts 1491645146
@bin libexec/prover9/idfilter
@sha 1BubcugL4YMNDb1F1UlIfxe+6uA8TzOJUJeiRD89bck=
@size 362700
@ts 1491645146
@bin libexec/prover9/interpfilter
@sha 3cmBldjX660QUNidv1qOOVnYsznL6KbhuO0tp1vzzi8=
@size 395256
@ts 1491645146
@bin libexec/prover9/interpformat
@sha 5bVeG55cpiYbM/iM5W3WPVaCGifLHwNUihMw9/G+Qvg=
@size 399580
@ts 1491645146
@bin libexec/prover9/isofilter
@sha LVMAL74KZGvsCjw/HsMHPwVJT+5+tkM82Nl28KNdXDQ=
@size 395236
@ts 1491645147
@bin libexec/prover9/isofilter0
@sha Ot9KiZkFSFQVJs33xuYBc9bHh5zsrvFO2A77n50hzVQ=
@size 395192
@ts 1491645147
@bin libexec/prover9/isofilter2
@sha oz4zc02Un30BIgp2ZjPP0/svZ9HYwMFoMXqZVubzVvs=
@size 395236
@ts 1491645147
@bin libexec/prover9/ladr_to_tptp
@sha YpChgtAJBhPqCsL79YlOjXnwJ7CgqR7sAsKHf+OEwjU=
@size 552468
@ts 1491645147
@bin libexec/prover9/latfilter
@sha SH88nmAMFPcPHTfgKehWYPm3o09/qa8LD9yEH06lyvQ=
@size 362532
@ts 1491645147
@bin libexec/prover9/mace4
@sha 1aymMMa7+EsUq1GYx7ON9N5Z5oOpNM26MuEDyUs+Foc=
@size 452140
@ts 1491645147
@bin libexec/prover9/miniscope
@sha jtswgPaWs0SxV+BevKZHeNgojylCIYxf2dlz4YsN+P0=
@size 357916
@ts 1491645147
@bin libexec/prover9/mirror-flip
@sha AmsaydMhoU4sUhJe7EjCMZOmG3totLwt3twV1q99YWs=
@size 357936
@ts 1491645147
@bin libexec/prover9/newauto
@sha YqZlChrNUc3N2TkDl7xjckWyeTEAYz2e0MyCl4eGULY=
@size 548372
@ts 1491645147
@bin libexec/prover9/newsax
@sha /RE2wEa9fXDlx/5MggJltMVd+xrI0x6wWTrt2zZVM34=
@size 548372
@ts 1491645147
@bin libexec/prover9/olfilter
@sha fqT+3I/TuV4ENBgbvN/NdeX009HW84aAPmbzH1n/edo=
@size 362596
@ts 1491645147
@bin libexec/prover9/perm3
@sha Ettlb5+zDtZtJ7YagpAPHKWUETuoh6T9ZNzKs4y7ZLg=
@size 362032
@ts 1491645147
@bin libexec/prover9/prooftrans
@sha E8/G1sUst5UFS6GTKK/Wdbf+XW7Gy9o7Z480kkPqxs8=
@size 370560
@ts 1491645148
@bin libexec/prover9/prover9
@sha CrFDGJeIZVZsjlS03lsxY+owYcOwjWt2wbrso2+DW9g=
@size 544276
@ts 1491645148
@bin libexec/prover9/renamer
@sha YzSM6lo2wfRCI6QJWHwOFyA9eGHgz4L8d8G11dcu+CI=
@size 358196
@ts 1491645148
@bin libexec/prover9/rewriter
@sha fm0jKVt0iiRjn0rT0rlGaIwxG1JOMyBdZtZ/9yKBUD8=
@size 358544
@ts 1491645148
@bin libexec/prover9/sigtest
@sha AosYm8PFDpSxAjeOttRnNiAF1F6jFm6CRzCsxFISk2Y=
@size 394796
@ts 1491645148
@bin libexec/prover9/tptp_to_ladr
@sha lzwFwHOq6MchNZ8UYsloRr+uUrkDU/zOsR5Kp507Bns=
@size 556564
@ts 1491645148
@bin libexec/prover9/unfast
@sha un/WuDTFgwa6UmV4A22PVN3urSl/IiF2qNb2Z8tjgOo=
@size 358252
@ts 1491645148
@bin libexec/prover9/upper-covers
@sha kl4Th1OIijNhCmOKNZqfaUNFG5liwRKy5ryqw4G3EDE=
@size 395064
@ts 1491645148
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1491645148
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1491645148
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1491645148
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1491645148
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1491645148
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1491645148
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1491645149
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1491645149
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1491645149
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1491645148
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1491645148
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1491645149
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1491645149
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1491645149
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1491645149
