Package: proofgeneral
Version: 4.4.1~pre170114-1.2
Severity: wishlist
X-Debbugs-Cc: crauel_usenet@???
Dear Maintainer,
*** Reporter, please consider answering these questions, where appropriate ***
* What led up to the situation?
Command "proofgeneral", tty and xterm
* What exactly did you do (or not do) that was effective (or
ineffective)?
* What was the outcome of this action?
| /usr/bin/proofgeneral: 6: emacs25: not found
| /usr/bin/proofgeneral: 9: emacs24: not found
* What outcome did you expect instead?
-- System Information:
Distributor ID: Devuan
Description: Devuan GNU/Linux 4 (chimaera)
Release: 4
Codename: chimaera
Architecture: x86_64
Kernel: Linux 5.10.0-16-amd64 (SMP w/2 CPU threads)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)
LSM: AppArmor: enabled
Versions of packages proofgeneral depends on:
ii emacs-gtk 1:27.1+1-3.1
ii mmm-mode 0.5.8-1
proofgeneral recommends no packages.
Versions of packages proofgeneral suggests:
pn proofgeneral-doc <none>
pn prooftree <none>
-- no debconf information