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