Bug#941166: prover9-mace4.py is missing
Package: prover9-mace4
Version: 0.5.dfsg-3
Severity: important
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!
-- System Information:
Debian Release: 10.1
APT prefers stable-updates
APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.19.0-6-amd64 (SMP w/4 CPU cores)
Locale: LANG=pt_BR.UTF-8, LC_CTYPE=pt_BR.UTF-8 (charmap=UTF-8), LANGUAGE=pt_BR:pt (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Versions of packages prover9-mace4 depends on:
ii prover9 0.0.200911a-2.1+b2
ii python 2.7.16-1
ii python-wxgtk3.0 3.0.2.0+dfsg-8
prover9-mace4 recommends no packages.
prover9-mace4 suggests no packages.
-- no debconf information
Reply to: