Your message dated Fri, 18 Aug 2023 18:08:38 +0100
with message-id <ZN+lll/sgIABjsY0@???>
and subject line Fixed in Debian #917461
has caused the Devuan bug report #696,
regarding proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@???
immediately.)


--
696: https://bugs.devuan.org/cgi/bugreport.cgi?bug=696
Devuan Bug Tracking System
Contact owner@??? with problems
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
Version: 4.5-1