Subject: bug#696 closed by Mark Hindley <[email-masked]> (Fixed in Debian #917461)

From: "Devuan bug Tracking System" <[email-masked]>
Date: Fri, 18 Aug 2023 17:10:05 +0000

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 <[email-masked]>.

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 <[email-masked]> by
replying to this email.

-- 
696: https://bugs.devuan.org/cgi/bugreport.cgi?bug=696
Devuan Bug Tracking System
Contact [email-masked] with problems

Subject: Fixed in Debian #917461
From: Mark Hindley <[email-masked]>
To: [email-masked]
Date: Fri, 18 Aug 2023 18:08:38 +0100

Version: 4.5-1

Subject: proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)
From: Hans Crauel <[email-masked]>
To: Devuan Bug Tracking System <[email-masked]>
Date: Thu, 28 Jul 2022 21:34:46 +0200

Package: proofgeneral
Version: 4.4.1~pre170114-1.2
Severity: wishlist
X-Debbugs-Cc: [email-masked]

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