Devuan bug report logs -
#696
proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)
Reply or subscribe to this bug.
Toggle useless messages
Report forwarded
to devuan-bugs@lists.dyne.org, crauel_usenet@freenet.de, devuan-dev@lists.dyne.org:
bug#696; Package proofgeneral.
(Thu, 28 Jul 2022 19:38:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Hans Crauel <crauel_usenet@freenet.de>:
New bug report received and forwarded. Copy sent to crauel_usenet@freenet.de, devuan-dev@lists.dyne.org.
(Thu, 28 Jul 2022 19:38:05 GMT) (full text, mbox, link).
Message #5 received at submit@bugs.devuan.org (full text, mbox, reply):
Package: proofgeneral
Version: 4.4.1~pre170114-1.2
Severity: wishlist
X-Debbugs-Cc: crauel_usenet@freenet.de
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
Information forwarded
to devuan-bugs@lists.dyne.org, devuan-dev@lists.dyne.org:
bug#696; Package proofgeneral.
(Tue, 02 Aug 2022 09:08:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Mark Hindley <mark@hindley.org.uk>:
Extra info received and forwarded to list. Copy sent to devuan-dev@lists.dyne.org.
(Tue, 02 Aug 2022 09:08:04 GMT) (full text, mbox, link).
Message #10 received at 696@bugs.devuan.org (full text, mbox, reply):
Control: tags -1 debian
Control: forwarded -1 https://bugs.debian.org/917461
Hans,
Thanks for this. However, as you correctly note, this is a bug in Debian
Since Devuan uses the Debian package directly without recompilation, the issue
needs to be fixed in there. Sadly it was reported a while ago with no
action[1]. I suggest you add your voice there to get the upstream fix packaged.
Mark
[1] https://bugs.debian.org/917461
Added tag(s) debian.
Request was from Mark Hindley <mark@hindley.org.uk>
to 696-submit@bugs.devuan.org.
(Tue, 02 Aug 2022 09:08:07 GMT) (full text, mbox, link).
Reply sent
to Mark Hindley <mark@hindley.org.uk>:
You have taken responsibility.
(Fri, 18 Aug 2023 17:10:05 GMT) (full text, mbox, link).
Notification sent
to Hans Crauel <crauel_usenet@freenet.de>:
bug acknowledged by developer.
(Fri, 18 Aug 2023 17:10:05 GMT) (full text, mbox, link).
Message #19 received at 696-done@bugs.devuan.org (full text, mbox, reply):
Version: 4.5-1
Send a report that this bug log contains spam.