@comment $OpenBSD: PLIST,v 1.1.1.1 2011/03/07 22:26:24 jasper Exp $
@name p9m4-05p2
@signer openbsd-60-pkg
@digital-signature signify:2016-08-09T14:38:50Z:RWQHIajRlT2mX9mtg2qJyfmf8GLHb66K/S0/nvXo+MFIfEJNJCdjDPUZekHjH3TzWBv9t02MvWNbhdq7I2iZw5VoG9lgqjUCPAY=
@comment pkgpath=math/prover9/p9m4 cdrom=yes ftp=yes
@arch *
+DESC
@sha ax2sLRpNxZwyQCCsm7tr62q8X977Ttu+LC+yM43NOEU=
@size 169
@depend devel/py-modulegraph:py-modulegraph-*:py-modulegraph-0.12.1p0
@depend lang/python/2.7,-main:python->=2.7,<2.8:python-2.7.12
@depend math/prover9/ladr:ladr-dec-*:ladr-dec-2007p2
@depend x11/py-wxPython:py-wxPython-*:py-wxPython-2.8.12.0p3
@cwd /usr/local
bin/prover9-mace4
@sha qxMTmue8LAMxVC0OwsQV8JEjrXP/GSE6dYDsUIfIRpM=
@size 226
@ts 1470714849
libexec/prover9/
libexec/prover9/p9m4/
libexec/prover9/p9m4/control.py
@sha MYP+S6sNvBejVnaM+qy0y0HmGrKcqN2dY4G1SrJq6gY=
@size 40810
@ts 1470714849
libexec/prover9/p9m4/files.py
@sha YNxvoZOAJQovlHkLAKI+Mdr3urcLzqXcWnQNBBjV1as=
@size 2443
@ts 1470714849
libexec/prover9/p9m4/my_setup.py
@sha Sd5RWAH7oFIoir0GTyT0T9+nwAioRhQLBh+R9QsLQf0=
@size 22448
@ts 1470714849
libexec/prover9/p9m4/options.py
@sha PVLCivLmuAnuW1QQ4nqTi+S5o4bnFTEKGwr/0LozjAA=
@size 50458
@ts 1470714850
libexec/prover9/p9m4/partition_input.py
@sha ownjFwhe9O+LPKjJsgHq4IcsySQkJPAAAjZSuCTF73g=
@size 4692
@ts 1470714850
libexec/prover9/p9m4/platforms.py
@sha +mgLhdqWoq4oKMNzYlLUbmztD6RsdOrDQsphI/fy+nw=
@size 1475
@ts 1470714850
libexec/prover9/p9m4/prover9-mace4.py
@sha 4HWrTX6HgMSWw/FA9ZoJO+cqk7axVqzMSEjVFqKxRUw=
@size 24245
@ts 1470714850
libexec/prover9/p9m4/utilities.py
@sha cIzmBWUcTSVnflZlT0aNlZqMnE5rQ3tEt30KBC4lvxk=
@size 2478
@ts 1470714850
libexec/prover9/p9m4/wx_utilities.py
@sha 6mVMQBuQeKX6PCxbdk3oX9tI1DHIbXvU+SM4hSP5g94=
@size 10936
@ts 1470714850
share/p9m4/
share/p9m4/Images/
share/p9m4/Images/mace4-90t.gif
@sha u/44pBa2uv1knnijTThMiL0Yx/skbNd1i6figx3cEYk=
@size 827
@ts 1470714849
share/p9m4/Images/p9.ico
@sha /LL513x3R1nNNMIYm0nODu8j1XcECBaO0Bte4mjnW7E=
@size 7406
@ts 1470714849
share/p9m4/Images/prover9-5a-128t.gif
@sha vQAzhmwfqV4xAivgp/nOUGk9TVOa+HtPJfMmTBJWGXA=
@size 1147
@ts 1470714849
share/p9m4/Images/prover9-splash.gif
@sha JOTrq+XQMuMaLVuTkdurkwGHpp4Wce5Vzv/NE9xkS3U=
@size 7640
@ts 1470714849
share/p9m4/Samples/
share/p9m4/Samples/Equality/
share/p9m4/Samples/Equality/Mace4/
share/p9m4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in
@sha lqdqAaeFXRPa+MV2ObNxDDPXpyezw0G1CF25DNZvt0g=
@size 1144
@ts 1193082778
share/p9m4/Samples/Equality/Mace4/CL-QL.in
@sha zqprBaQGRhUjDowY7M/bCba3KAFu+HSizQWDpDk0eh8=
@size 521
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Megill-68.in
@sha h824AjwfmQOLgv6ndyzr5V/ABn18WS2EXpEh48ESfxI=
@size 722
@ts 1193082774
share/p9m4/Samples/Equality/Mace4/Noncommutative-group-48.in
@sha bgWOSH/fZTJOoqWd14lfdOPi7rK+W3iihjuaj0IEzew=
@size 356
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Noncommutative-group.in
@sha l7zQXno+MR3U742VK39NUJLAr8TqjCh1JJnz/glx6+M=
@size 510
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Noncommutative-ring-unit.in
@sha bKIGzZkMDWJDbxqUfHhhDbTQZ72awHIKbsiDH1EAIc8=
@size 475
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/Nonmodular-OML.in
@sha DPiX8ME98VRVyAamf7z5NpfYW7PzdVJcJ8qQ547CDT0=
@size 547
@ts 1190666494
share/p9m4/Samples/Equality/Mace4/QG-4.in
@sha p8iLnx/LQTeME4D7FnrD6QooffTcda9OvK8MWgbSIGw=
@size 461
@ts 1197042548
share/p9m4/Samples/Equality/Mace4/Ring-19.in
@sha mMKu1F0zpJ/j2HVE/SflGeR+5pHzBtcwEMqCYMV5ey4=
@size 1117
@ts 1197576812
share/p9m4/Samples/Equality/Mace4/TBA-independence-2.in
@sha 2OOwae9G2I22zCBKTcMC5nAIL7Oxf7M1v5Z8qzFdlWA=
@size 451
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/
share/p9m4/Samples/Equality/Prover9/BA-distributivity.in
@sha fAEPfHYrngVK/72QKup8IzApp8niHv5lBo5eP5W2XhM=
@size 448
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/CL-BW.in
@sha 1aUBVf3k0Rep/JVc5kTabTUrNk8D9OsLbpYNSCcUYd4=
@size 845
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/CL-SK-W.in
@sha zF39RfWbCgVdTL8ACXXKUXdjeaHH8dhkhKhkyo2kBkg=
@size 451
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/Cancellative-semigroup-EA.in
@sha hsOr03jtEO2LhVz9CDuM2H6jXaETsC/r2NRS5kRmXX4=
@size 1298
@ts 1191375912
share/p9m4/Samples/Equality/Prover9/LT-McKenzie-4basis.in
@sha HE+TSTuh961vSqL5dXz7E0O8a1UxxSQNxItfhCIQr7k=
@size 464
@ts 1190666494
share/p9m4/Samples/Equality/Prover9/OML-sax.in
@sha tDnsuNGkeZmjHSFLdwqDC5tr5678m2Ze3l5bWB+IjT8=
@size 1506
@ts 1197577507
share/p9m4/Samples/Equality/Prover9/RBA-2.in
@sha X7FJ8Rw/fO2GiSgmfWk2rLXAT3PUvQhyjb9Zy2Vn+Ao=
@size 410
@ts 1190666494
share/p9m4/Samples/GT_Sax.in
@sha 54RIg6sX01W64uPjm/J1o6DD83kFamptflcC4wBcQkg=
@size 333
@ts 1191723694
share/p9m4/Samples/Kauer.in
@sha 9Jsb0IwElIUL1FzwVK72hH3osG1v/KImWkKG4Ifielg=
@size 1381
@ts 1197042258
share/p9m4/Samples/LT-McKenzie-4basis.in
@sha HE+TSTuh961vSqL5dXz7E0O8a1UxxSQNxItfhCIQr7k=
@size 464
@ts 1191724202
share/p9m4/Samples/Non-Equality/
share/p9m4/Samples/Non-Equality/Mace4/
share/p9m4/Samples/Non-Equality/Mace4/EC-counterexample.in
@sha RvD5bsB39UMQ+pkss8PKiwrKRbA0Dck2zgFRFxYXU8o=
@size 418
@ts 1193152356
share/p9m4/Samples/Non-Equality/Mace4/Kauer.in
@sha 9Jsb0IwElIUL1FzwVK72hH3osG1v/KImWkKG4Ifielg=
@size 1381
@ts 1190737760
share/p9m4/Samples/Non-Equality/Mace4/Steam-bug.in
@sha OA0hIAq8TDO2D9uBcocFhQKKiTF+dgfZgaWoo7EAGMs=
@size 2512
@ts 1190666494
share/p9m4/Samples/Non-Equality/Mace4/Toughnut.in
@sha KgnFOlBmVH775py4et8bF8TsuCjX/Dck62aVMSlAblA=
@size 3593
@ts 1193082719
share/p9m4/Samples/Non-Equality/Prover9/
share/p9m4/Samples/Non-Equality/Prover9/EC-XCB-reflexivity.in
@sha C460HeYCrJwsGw6RJ5ypOk5OupylqR6MsKj8TZ2D8Ig=
@size 411
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/HWV006-1.in
@sha O4AZ3X2DmMZHBn5trbuwjDDh3w5yCiVRQ419LhcmqVA=
@size 2781
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Lifschitz.in
@sha I7vM9wOYAV2jRsD0czuEJVbJCX+iiG785TKd5JH8JGI=
@size 251
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Steam.in
@sha hCgGLoxwB1PBSMYbyNqjuyt6voW6wG2l/QI/tyF+4lE=
@size 2190
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/Subset_transitive.in
@sha 71Qf0Wr8oPKTmkT1RcR/R9i/jI7L4LDqDLWY1NjxzFY=
@size 362
@ts 1190666494
share/p9m4/Samples/Non-Equality/Prover9/temp
@sha ypij7tgVBy2HVNUzNydo/JEfAE1+J5sQaYlVK9GamVU=
@size 21
@ts 1191728848
share/p9m4/Samples/Non-Equality/Prover9/temp0
@sha EFRHCK5bMeiSyid1IqcwDiCZxQELKeWVGnzqm8FfiCs=
@size 16135
@ts 1191729304
share/p9m4/Samples/Non-Equality/Prover9/temp1
@sha AnjhvbbJXo7Gx3DGpF+jmaa49e0s4mV7o284VxLBFyY=
@size 20911
@ts 1191729296
