#941166 prover9-mace4.py is missing

Package:
prover9-mace4
Source:
p9m4
Submitter:
Will Gnann
Date:
2019-09-25 19:42:05 UTC
Severity:
important
#941166#5
Date:
2019-09-25 19:31:38 UTC
From:
To:
Dear Maintainer,

   * What led up to the situation?
     Tried to run prover9-mace4 GUI, but could not find it. I thought it would be located at /usr/share/prover9-mace4/lib just like everything else.

   * What exactly did you do (or not do) that was effective (or
     ineffective)?
     Just unpacked prover9-mace4.py from the upstream and made a script to run it from /usr/share/prover9-mace4/lib.

   * What was the outcome of this action?
     It solved the problem.

Thank you!