@name ladr-dec-2007p5
@version 16
@comment pkgpath=math/prover9/ladr ftp=yes
@arch arm,armv7
+DESC
@sha CNBW1P6p/910TowxjyUQ3OiI5k7a7qOhNwY3pQIeJdo=
@size 279
@wantlib c.103.0
@wantlib m.10.1
@cwd /usr/local
libexec/prover9/
@bin libexec/prover9/autosketches4
@sha kxgD/1iS/sjkKJGbwdam7fIfYV+hn7SiQUj8L6er2wg=
@size 376352
@ts 1789177254
@bin libexec/prover9/clausefilter
@sha BuTBFJktyhpKp5+0qXtEuHrUtmLImUnOVz3UZFf/srA=
@size 279888
@ts 1789177254
@bin libexec/prover9/clausetester
@sha 0JrUCmAiLLxlRFFaoEw8YNweOdNiYh5tI7TLsK2kvA0=
@size 279276
@ts 1789177254
@bin libexec/prover9/dprofiles
@sha b9SqTf9gbssg0YEhzWsXkwnzT5yBzrhvpJJKO9aDkRg=
@size 278696
@ts 1789177254
@bin libexec/prover9/fof-prover9
@sha qxlChZ26HMqxN+3+FWSAp+MfMkM2yOiw7gU/Zg0SkXM=
@size 375536
@ts 1789177255
@bin libexec/prover9/idfilter
@sha B9RB9J4wDiE3ZB4H2RGQ8K7CreeHr2wZAAfg9W3N36E=
@size 253172
@ts 1789177255
@bin libexec/prover9/interpfilter
@sha ERz6VmkwXsEatRlmLoGHeSJF+hAvm5OVNDhTRYTVgis=
@size 279752
@ts 1789177255
@bin libexec/prover9/interpformat
@sha xRg3Yi47IcOWGAYY//jxZXktwV2wTpqm8UpPM871fQI=
@size 281872
@ts 1789177255
@bin libexec/prover9/isofilter
@sha Z1+aytP9rtLUsf1RFT3Rp7wi0lO+QJiQohlBuXalb2A=
@size 280292
@ts 1789177256
@bin libexec/prover9/isofilter0
@sha uXlnab1D40cnm9cyHfv4QXmc3PsXa2UZIAAnPIIszgg=
@size 279944
@ts 1789177256
@bin libexec/prover9/isofilter2
@sha zyAvgqXgYZTQW22KNjSgq4gA3HCD7T4jm9sh+HJE7UA=
@size 280292
@ts 1789177256
@bin libexec/prover9/ladr_to_tptp
@sha pRVUSv5GVF8dSILZGXCKCmnU+MlanBN6nhDO5IlxTho=
@size 380816
@ts 1789177256
@bin libexec/prover9/latfilter
@sha wZjoGfnzpt4CP1HT4BaR/q+QSvAMdN12FAjmbFjamrw=
@size 253260
@ts 1789177257
@bin libexec/prover9/mace4
@sha BrvSxmOXzCNSdLaNHnudx0OzjhY/cU4GJsOM1iB58IY=
@size 320164
@ts 1789177257
@bin libexec/prover9/miniscope
@sha GBZYUg1VCim/tQrgE+zl92g9t98dS/xBFMkIs4Ieyi0=
@size 251556
@ts 1789177257
@bin libexec/prover9/mirror-flip
@sha Of2zEMVs6kWxh/FcCL1YKeKDXlKMy37K+d6tyCyeBp0=
@size 252152
@ts 1789177257
@bin libexec/prover9/newauto
@sha HRciTKIGLxyImc8aQjqnIfCwKGqIh3QJyKlhHgf9nlk=
@size 377184
@ts 1789177257
@bin libexec/prover9/newsax
@sha dV4jGHswTTqX7eG+aQGiZMmh10GasZLL4+W7emx+lck=
@size 377552
@ts 1789177258
@bin libexec/prover9/olfilter
@sha RiV+TgEstGSeC9Gj6Y//alwWj8U5JNIAsHCBt6Zi0XQ=
@size 255564
@ts 1789177258
@bin libexec/prover9/perm3
@sha C4L4g3sntXgtH2vFBHGusWdpWH5nJ9pM94FLSkPxMIM=
@size 252904
@ts 1789177258
@bin libexec/prover9/prooftrans
@sha QUCkoHrJnR45oS4CiF/uxglUle5nDkhv3aAu9beTIEc=
@size 259116
@ts 1789177258
@bin libexec/prover9/prover9
@sha FTPLZxYLDrBj/vo1QNrGVXKnqOb8DLAkQfuezBH9DFQ=
@size 375312
@ts 1789177259
@bin libexec/prover9/renamer
@sha lo025P9cz5QVsHwfnPB+A1vfqATAGtsgjceQVeiAvMs=
@size 252092
@ts 1789177259
@bin libexec/prover9/rewriter
@sha dqq6aNzb/Vzo6EOezv2Y6oAwWLRSeNLtMkgdxTEUvPQ=
@size 252920
@ts 1789177259
@bin libexec/prover9/sigtest
@sha HNjYSf/CLDTtR4acIha4cjzOcHWynD7FFhZFBH7BMJ0=
@size 278748
@ts 1789177259
@bin libexec/prover9/tptp_to_ladr
@sha 4bilIYWlmkBk33rLUYSS7hwbtKhl7gui7clCpLH4nuU=
@size 380960
@ts 1789177260
@bin libexec/prover9/unfast
@sha pTQP4/jSV8As8/goVrCrELVeYBCJkJVZ/KY3R9difCA=
@size 251796
@ts 1789177260
@bin libexec/prover9/upper-covers
@sha 0kfhoYt+MoFDG2r5zdlZJcsU8HAQicBf3UZlvOf+MkM=
@size 279800
@ts 1789177260
share/examples/prover9/
share/examples/prover9/attack
@sha Fuf0xhHy2EaBafEheJXucCz0xFMUbYCnfrD5+Tn5iu4=
@size 4807
@ts 1789177260
share/examples/prover9/get_givens
@sha 4GjRRNF5DjwDHP9xSzmsf15CjMdLdaHLpzuv7pTIlSc=
@size 73
@ts 1789177260
share/examples/prover9/get_interps
@sha FofYtVyC/i3fIEOnybDxfd19PG+CYgsKOZU0psJQcrI=
@size 191
@ts 1789177260
share/examples/prover9/get_kept
@sha S8/vQry9b6CIAh1ogWaUNT1t2Kyt2yb4lGwB4A7/+YE=
@size 74
@ts 1789177260
share/examples/prover9/gvizify
@sha bUTuzv7elbXJx1t1nYRmSBx5qao5JaK2A2OTmRTIYSo=
@size 11968
@ts 1789177260
share/examples/prover9/looper
@sha gel2+1/3FHhIOYhjGjpzTag5i3nZDYtejBolFpzqQpM=
@size 5100
@ts 1789177260
share/examples/prover9/mace4/
share/examples/prover9/mace4/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1789177260
share/examples/prover9/mace4/group2.in
@sha cFtHSHDFGsAlP3eEmqEFumN5gyt6va5S8kj4qr3eaAA=
@size 601
@ts 1789177260
share/examples/prover9/mace4/rw1.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1789177260
share/examples/prover9/proof3fo.xsl
@sha XBNGIkjgREghLYtQAW9RSiwdwuRuzQZGA+sjQv4vRB4=
@size 7297
@ts 1789177260
share/examples/prover9/prover9/
share/examples/prover9/prover9-mace4
@sha zg5bgi2oVW+SkhF0+CPQvFxOqIMEOZK+oru47B4lfU4=
@size 4140
@ts 1789177260
share/examples/prover9/prover9/README
@sha BvtUB6+Ocog+xHpOINj9G25x7X2OR7HA89LO2fwX1jQ=
@size 80
@ts 1789177261
share/examples/prover9/prover9/x2.hints
@sha H/KJ0ZjJ//pJUsd5CYN/wR4njVkfvQhYPZp14k38K74=
@size 496
@ts 1789177261
share/examples/prover9/prover9/x2.in
@sha BTmJRNsamXx5WL+vzdHHBDf5skcfbpKqbBEtZ75rd0g=
@size 152
@ts 1789177261
share/examples/prover9/prover9/x2.out
@sha L2tlbefCUvexzAaahTCR0DB9iNmvUWZPHChvWUtw6/c=
@size 5100
@ts 1789177261
