@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name ladr-dec-2007p2
@comment subdir=math/prover9/ladr cdrom=yes ftp=yes
@arch arm,armish
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.62.0
@wantlib m.7.0
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha CEzTLduzf/WyW5ej5puyDqyYJo9fNxRqD/54t4I2Psc=
@size 315500
@bin libexec/prover9/clausefilter
@sha 6aUADGryUfpNZVE16OKydUqCbT6oaRpva1lEgvrlsvc=
@size 230668
@bin libexec/prover9/clausetester
@sha iMWuKDg9W623TtvR309+bioD3w65q7Yu5X2FAnP+zQQ=
@size 229996
@bin libexec/prover9/dprofiles
@sha sPn0PhUERh8KfQdTOLODAcE6LLBzl2zk8F0mCNGoQyA=
@size 229500
@bin libexec/prover9/fof-prover9
@sha t9ezpz7d29jaUS+7XW/qZnjb8vr/6SMBaXx9D9sho/E=
@size 314680
@bin libexec/prover9/idfilter
@sha 0zlz5nhatlG0B0PMQ9igRbLAMcgOC5/+inGAeLhTfMQ=
@size 207292
@bin libexec/prover9/interpfilter
@sha 9hNPcPkdOR/ITa7mKxFE+00rBr+FymsQN/PRbYhFFJ0=
@size 230452
@bin libexec/prover9/interpformat
@sha UjxGe78PArc7oyelkDIhh5sr0L3dDax1hNbOhoIPT+c=
@size 232280
@bin libexec/prover9/isofilter
@sha Ox8u7qecJE+I9ITJ7FW1KrmTJ1nP5Zp4xaNaQDSWy4U=
@size 231088
@bin libexec/prover9/isofilter0
@sha HFfBz2Y9xs66u6UXlhNq1mht4RASPk8LBiW57ARNMcw=
@size 230764
@bin libexec/prover9/isofilter2
@sha gkEbePD9u/SrDHctOYvRhewkmrwiSb11q7aBAqjSz7w=
@size 231104
@bin libexec/prover9/ladr_to_tptp
@sha UK/VsD8XNfkHS/FvM5T4xeLcUXHXMfrCdHheyTyn2DI=
@size 319896
@bin libexec/prover9/latfilter
@sha BHZbFPw40iO85bG4zIBFAdri6BqmolEUrAreIa7M8Sg=
@size 207288
@bin libexec/prover9/mace4
@sha EPnpkv5GtXpLHZhxzjN0FHqrEmKGWz2gbJMkxyVlPnQ=
@size 264516
@bin libexec/prover9/miniscope
@sha DHgesyIdBjzdzX5Afrg+ypi0oQKvI+LvxvIgQp7bq+M=
@size 205712
@bin libexec/prover9/mirror-flip
@sha KQM0emWP8jkOSPd0v+daEVYbR4QvxAxFydzcBqnkUNY=
@size 206268
@bin libexec/prover9/newauto
@sha VzUBwqevv3iFHsFnEgd3PwHhVCFZU6VHh0ZeBkFkQDk=
@size 316160
@bin libexec/prover9/newsax
@sha UHzGo6uKeRjoEuTZclHVcnw4/hDA7wKtLpd/nSHKJuk=
@size 316528
@bin libexec/prover9/olfilter
@sha OnIPBKk6arW8yvPY6wjW8L4QpJy+Hu/o5qbWYsrMns0=
@size 209736
@bin libexec/prover9/perm3
@sha nWyfw5/R4N5LM0jBnq9tDKFwkPMoDs9NSnmrGaDB+aQ=
@size 206668
@bin libexec/prover9/prooftrans
@sha sbr2GYuS0X5mBOg/7HyBp6DcSx4YNy5Ex1fcqU000eM=
@size 212440
@bin libexec/prover9/prover9
@sha 4dnGz4cu1Kc+4muBv3Cn68/bAGVOCLgWZhnqD+UGPHU=
@size 314444
@bin libexec/prover9/renamer
@sha HoF47XRMOf/DSNwaU7jnuXxuXG64x2t7u9rdyAR23Nw=
@size 206196
@bin libexec/prover9/rewriter
@sha p+FDZq+K5A2rE9Ch48ok3yxLKQgzZelTMH02Mb8dUAM=
@size 207032
@bin libexec/prover9/sigtest
@sha j406nXeRb5l9gdt1Qucr0uaI2veKyQLqZxIIjZ9VFN8=
@size 229496
@bin libexec/prover9/tptp_to_ladr
@sha +iAaHThiaGCWn7zex7WnMhMWTB7KIQDU35Q8O37d4tg=
@size 320064
@bin libexec/prover9/unfast
@sha FLIzInJTYOWQd9sfG0wrIdBlYbnIYd3KoqT38AZD+yE=
@size 205896
@bin libexec/prover9/upper-covers
@sha WaeYI8QJBJU29XVkulH0RfS92VKNb0bpFTvGeiobppg=
@size 230208
share/examples/prover9/
share/examples/prover9/attack
@sha qs/8hxCYvDDp8stgnKqyY9ySuSQ6tlqByuxM6fvO8O8=
@size 4804
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
share/examples/prover9/gvizify
@sha YhsY0+Jv8hFyWVwb9XMBAmGtPPtZxVkyyguXan6tF9c=
@size 11950
share/examples/prover9/looper
@sha KOGpZOwuo3CER/nr7+noyAc8FWYT4aLwjB5owBq7tYU=
@size 5093
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha y3aNLY/aGhYg795T0bRCxflhd2+iN2KvU4nGgX9r3GY=
@size 4127
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
