Devuan bug report logs - #696
proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)

Full log

🔗 View this message in rfc822 format

MIME-Version: 1.0
X-Mailer: MIME-tools 5.509 (Entity 5.509)
X-Loop: owner@bugs.devuan.org
From: "Devuan bug Tracking System" <owner@bugs.devuan.org>
To: Mark Hindley <mark@hindley.org.uk>
Subject: bug#696: marked as done (proofgeneral: is designed for
 emacs24/25, does not work with emacs27 (present in Debian11/Devuan4))
Message-ID: <handler.696.D696.169237854220567.ackdone@bugs.devuan.org>
References: <ZN+lll/sgIABjsY0@hindley.org.uk>
 <165903688697.4900.7482578330570836840.reportbug@khastam>
X-Devuan-PR-Message: closed 696
X-Devuan-PR-Package: proofgeneral
X-Devuan-PR-Keywords: debian
Reply-To: 696@bugs.devuan.org
Date: Fri, 18 Aug 2023 17:10:05 +0000
Content-Type: multipart/mixed; boundary="----------=_1692378605-22860-0"

[Message part 1 (text/plain, inline)]

Your message dated Fri, 18 Aug 2023 18:08:38 +0100
with message-id <ZN+lll/sgIABjsY0@hindley.org.uk>
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@bugs.devuan.org
immediately.)


-- 
696: https://bugs.devuan.org/cgi/bugreport.cgi?bug=696
Devuan Bug Tracking System
Contact owner@bugs.devuan.org with problems

[Message part 2 (message/rfc822, inline)]

From: Hans Crauel <crauel_usenet@freenet.de>

To: Devuan Bug Tracking System <submit@bugs.devuan.org>

Subject: proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)

Date: Thu, 28 Jul 2022 21:34:46 +0200

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

[Message part 3 (message/rfc822, inline)]

From: Mark Hindley <mark@hindley.org.uk>

To: 696-done@bugs.devuan.org

Subject: Fixed in Debian #917461

Date: Fri, 18 Aug 2023 18:08:38 +0100

Version: 4.5-1

Send a report that this bug log contains spam.