@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.90.0
@wantlib m.10.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha D4rO6a3+gyXBp2dbQLdzdbY4vdD5BnNaTxaD02desB4=
@size 450148
@ts 1507593559
@bin libexec/prover9/clausefilter
@sha mwZ4zzkHMga2ASfHC65PLsHqJUoQRY3JqgHrgMT6a/E=
@size 333728
@ts 1507593559
@bin libexec/prover9/clausetester
@sha QnK0Qt5A56yoZ4Ee8KbfEECymLyE/X2rB94DLIqWXyg=
@size 333644
@ts 1507593559
@bin libexec/prover9/dprofiles
@sha VXc6uIjEGm0TMIjQhFhr3fIZIjLpCYL4x/fhaoaH+js=
@size 333560
@ts 1507593560
@bin libexec/prover9/fof-prover9
@sha a9l8bjZDc6HaWsJoWslw2D3FkXDTeDfcf8MwwsnWSbQ=
@size 450148
@ts 1507593560
@bin libexec/prover9/idfilter
@sha sJuXN6d10Ve5AYmg0m+8Sdix0OETQY5zOsGPnsXzirM=
@size 301340
@ts 1507593560
@bin libexec/prover9/interpfilter
@sha Ami8i1lK4CPFN/vzF71qSWMEB/5Tr09fo/wqqa6ee6I=
@size 333896
@ts 1507593560
@bin libexec/prover9/interpformat
@sha jVnXZZg4PgR5rqKusgJHGUvK2s43U2V1mEPFaOk0fWM=
@size 338220
@ts 1507593560
@bin libexec/prover9/isofilter
@sha qkceI7O3IAEk5LOBuh5W8qyH4hgXPPENYi/kIgwqFtU=
@size 333876
@ts 1507593560
@bin libexec/prover9/isofilter0
@sha 0lM06F9XuW7YAh6b9B8RWVvH6KC2W+1g8mV+EzLJ9MY=
@size 333832
@ts 1507593561
@bin libexec/prover9/isofilter2
@sha 6w7TrG3yFRAGIcBhkVQOS5QGI70pWDiPwooOQoQwF0s=
@size 333876
@ts 1507593561
@bin libexec/prover9/ladr_to_tptp
@sha YwqrnpY+IXGPhjz2HWnE1Z+WHYCRYdpnl77kw4mb4iA=
@size 454244
@ts 1507593561
@bin libexec/prover9/latfilter
@sha 3BvgxVErDSNv5w7HH7mufgTIpfv1/YnjxeV+/B7ExYw=
@size 305312
@ts 1507593561
@bin libexec/prover9/mace4
@sha Ji42S7ei1oT77mdyTlekekeQMimV+EDUKzn3AW6BhX4=
@size 382632
@ts 1507593561
@bin libexec/prover9/miniscope
@sha 4OeX1J8Fj6PlE0hhUKkceOHswJFUr4lP2NyRlFtHYnk=
@size 300652
@ts 1507593561
@bin libexec/prover9/mirror-flip
@sha iN6n+GIuaAHqzUWdLzNwMs41zBnpnMzDoMYBpgidMB4=
@size 300672
@ts 1507593562
@bin libexec/prover9/newauto
@sha izkJPgMlGDwf5gZ3hxGR3FJUONVbcElAKJWjN53/G00=
@size 450148
@ts 1507593562
@bin libexec/prover9/newsax
@sha enPJSHn256P+dGe3J7Qg/ZOAJ/3uTHT3btNjrQS4bMo=
@size 450148
@ts 1507593562
@bin libexec/prover9/olfilter
@sha IU03VNBlVyu+so2vXJlZaU/aNcfAsu0OatagL7s6CMM=
@size 305376
@ts 1507593562
@bin libexec/prover9/perm3
@sha 8/7GtK41IYWP+HFsAzO5OrprnFKMKSr3StUhMSoEz9Y=
@size 304768
@ts 1507593562
@bin libexec/prover9/prooftrans
@sha p51sCHfuXpMYyhc2OgnOsbDcMTFsy5HbQAgfpuvfmi8=
@size 309200
@ts 1507593563
@bin libexec/prover9/prover9
@sha 5wRmI4mR7PnIaxZ9A/BUvX6hhjS/+FIKV2WkP2hntTE=
@size 450148
@ts 1507593563
@bin libexec/prover9/renamer
@sha DFRoT/Wdwe5FmgIQDxqM40aIUK4EZBLunQTmZ3IyD2A=
@size 300932
@ts 1507593563
@bin libexec/prover9/rewriter
@sha xFIkv6LCmnIYY7uUQc/a6wdltrORxBIUamMHx0QB2YQ=
@size 301280
@ts 1507593563
@bin libexec/prover9/sigtest
@sha s4mxUkrqmm4R2JcPvogFhg8cyWRXd5kTymeUQEjtVCQ=
@size 333436
@ts 1507593563
@bin libexec/prover9/tptp_to_ladr
@sha 11MW+J+nPTZw1WXXCLdCgyNLWNPY0xG9kNVCCFskWcc=
@size 454244
@ts 1507593563
@bin libexec/prover9/unfast
@sha wwAS7yVr3U7ZQJl4SvFEfLX+lJMAZox1GTqo7HgJTg4=
@size 300988
@ts 1507593563
@bin libexec/prover9/upper-covers
@sha wxUmldpB+1+VRF7WzgV2h+Ohb+QKWgUU2g9Tl4AlWMs=
@size 333704
@ts 1507593563
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
@ts 1507593564
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1507593564
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1507593564
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1507593564
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
@ts 1507593564
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
@ts 1507593564
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1507593564
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1507593564
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1507593564
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1507593564
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
@ts 1507593564
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1507593565
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1507593565
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1507593565
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1507593565
