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: Hans Crauel <crauel_usenet@freenet.de>
Subject: bug#696 closed by Mark Hindley <mark@hindley.org.uk> (Fixed in
 Debian #917461)
Message-ID: <handler.696.D696.169237854220567.notifdone@bugs.devuan.org>
References: <ZN+lll/sgIABjsY0@hindley.org.uk>
 <165903688697.4900.7482578330570836840.reportbug@khastam>
X-Devuan-PR-Message: they-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-1"

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

This is an automatic notification regarding your bug report
which was filed against the proofgeneral package:

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

It has been closed by Mark Hindley <mark@hindley.org.uk>.

Their explanation is attached below along with your original report.
If this explanation is unsatisfactory and you have not received a
better one in a separate message then please contact Mark Hindley <mark@hindley.org.uk> by
replying to this email.


-- 
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: 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

[Message part 3 (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

Send a report that this bug log contains spam.