Devuan logs - #696, boring messages

Message sent to [email protected], [email protected], [email protected]:

Subject: bug#696: proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)
Reply-To: Hans Crauel <[email protected]>, [email protected]
Resent-From: Hans Crauel <[email protected]>
Resent-To: [email protected]
Resent-CC: [email protected], [email protected]
Resent-Date: Thu, 28 Jul 2022 19:38:02 +0000
Resent-Message-ID: <[email protected]>
Resent-Sender: [email protected]
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Hans Crauel <[email protected]>
To: Devuan Bug Tracking System <[email protected]>
Message-ID: <165903688697.4900.7482578330570836840.reportbug@khastam>
Date: Thu, 28 Jul 2022 21:34:46 +0200

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

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

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.509 (Entity 5.509)
Content-Type: text/plain; charset=utf-8
X-Loop: [email protected]
From: "Devuan bug Tracking System" <[email protected]>
To: Hans Crauel <[email protected]>
Subject: bug#696: Acknowledgement (proofgeneral: is designed for
 emacs24/25, does not work with emacs27 (present in Debian11/Devuan4))
Message-ID: <[email protected]>
References: <165903688697.4900.7482578330570836840.reportbug@khastam>
X-Devuan-PR-Message: ack 696
X-Devuan-PR-Package: proofgeneral
Reply-To: [email protected]
Date: Thu, 28 Jul 2022 19:38:06 +0000

Thank you for filing a new bug report with Devuan.

You can follow progress on this bug here: 696: https://bugs.devuan.org/cgi/=
bugreport.cgi?bug=3D696.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

As you requested using X-Debbugs-CC, your message was also forwarded to
  [email protected]
(after having been given a bug report number, if it did not have one).

Your message has been sent to the package maintainer(s):
 [email protected]

If you wish to submit further information on this problem, please
send it to [email protected].

Please do not send mail to [email protected] unless you wish
to report a problem with the Bug-tracking system.

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

Message sent to [email protected], [email protected]:

Subject: bug#696: proofgeneral: is designed for emacs24/25, does not work with emacs27
Reply-To: Mark Hindley <[email protected]>, [email protected]
Resent-From: Mark Hindley <[email protected]>
Resent-To: [email protected]
Resent-CC: [email protected]
Resent-Date: Tue, 02 Aug 2022 09:08:02 +0000
Resent-Message-ID: <[email protected]>
Resent-Sender: [email protected]
References: <165903688697.4900.7482578330570836840.reportbug@khastam>
Date: Tue, 2 Aug 2022 08:05:01 +0100
From: Mark Hindley <[email protected]>
To: [email protected]
Message-ID: <[email protected]>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

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

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.509 (Entity 5.509)
Content-Type: text/plain; charset=utf-8
X-Loop: [email protected]
From: "Devuan bug Tracking System" <[email protected]>
To: Mark Hindley <[email protected]>
Subject: bug#696: Info received (proofgeneral: is designed for emacs24/25,
 does not work with emacs27)
Message-ID: <[email protected]>
References: <[email protected]>
X-Devuan-PR-Message: ack-info 696
X-Devuan-PR-Package: proofgeneral
Reply-To: [email protected]
Date: Tue, 02 Aug 2022 09:08:04 +0000

Thank you for the additional information you have supplied regarding
this bug report.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 [email protected]

If you wish to submit further information on this problem, please
send it to [email protected].

Please do not send mail to [email protected] unless you wish
to report a problem with the Bug-tracking system.

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

Message received at [email protected]:

Received: (at 696) by bugs.devuan.org; 2 Aug 2022 09:07:40 +0000
Return-Path: <[email protected]>
Delivered-To: [email protected]
Received: from mail.dyne.org [141.95.83.167]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Tue, 02 Aug 2022 09:07:40 +0000 (UTC)
Received: from mx.hindley.org.uk (193-36-131-86.cfwn.uk [193.36.131.86])
	(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
	(No client certificate requested)
	by mail.dyne.org (Postfix) with ESMTPS id 264616619A3
	for <[email protected]>; Tue,  2 Aug 2022 11:07:16 +0200 (CEST)
Received: from apollo.hindleynet ([192.168.1.3] helo=hindley.org.uk)
	by mx.hindley.org.uk with smtp (Exim 4.84_2)
	(envelope-from <[email protected]>)
	id 1oIlxd-0001h8-Q3
	for [email protected]; Tue, 02 Aug 2022 08:05:02 +0100
Received: (nullmailer pid 15037 invoked by uid 1000);
	Tue, 02 Aug 2022 07:05:01 -0000
Date: Tue, 2 Aug 2022 08:05:01 +0100
From: Mark Hindley <[email protected]>
To: [email protected]
Subject: proofgeneral: is designed for emacs24/25, does not work with emacs27
Message-ID: <[email protected]>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Spam-Status: No, score=0.4 required=5.0 tests=RDNS_DYNAMIC,SPF_PASS
	autolearn=disabled version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.dyne.org

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

Message received at [email protected]:

Received: (at 696) by bugs.devuan.org; 2 Aug 2022 09:07:40 +0000
Return-Path: <[email protected]>
Delivered-To: [email protected]
Received: from mail.dyne.org [141.95.83.167]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Tue, 02 Aug 2022 09:07:40 +0000 (UTC)
Received: from mx.hindley.org.uk (193-36-131-86.cfwn.uk [193.36.131.86])
	(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
	(No client certificate requested)
	by mail.dyne.org (Postfix) with ESMTPS id 264616619A3
	for <[email protected]>; Tue,  2 Aug 2022 11:07:16 +0200 (CEST)
Received: from apollo.hindleynet ([192.168.1.3] helo=hindley.org.uk)
	by mx.hindley.org.uk with smtp (Exim 4.84_2)
	(envelope-from <[email protected]>)
	id 1oIlxd-0001h8-Q3
	for [email protected]; Tue, 02 Aug 2022 08:05:02 +0100
Received: (nullmailer pid 15037 invoked by uid 1000);
	Tue, 02 Aug 2022 07:05:01 -0000
Date: Tue, 2 Aug 2022 08:05:01 +0100
From: Mark Hindley <[email protected]>
To: [email protected]
Subject: proofgeneral: is designed for emacs24/25, does not work with emacs27
Message-ID: <[email protected]>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Spam-Status: No, score=0.4 required=5.0 tests=RDNS_DYNAMIC,SPF_PASS
	autolearn=disabled version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.dyne.org

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

Message sent:

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

This is a multi-part message in MIME format...

------------=_1692378605-22860-0
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

Your message dated Fri, 18 Aug 2023 18:08:38 +0100
with message-id <ZN+lll/[email protected]>
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 emac=
s27 (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 [email protected]
immediately.)


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

------------=_1692378605-22860-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.devuan.org; 28 Jul 2022 19:36:12 +0000
Return-Path: <[email protected]>
Delivered-To: [email protected]
Received: from mail.dyne.org [141.95.83.167]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Thu, 28 Jul 2022 19:36:12 +0000 (UTC)
Received: from [127.0.1.1] (dynamic-077-189-098-212.77.189.pool.telefonica.de [77.189.98.212])
	by mail.dyne.org (Postfix) with ESMTP id 66B06661918
	for <[email protected]>; Thu, 28 Jul 2022 21:34:47 +0200 (CEST)
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Hans Crauel <[email protected]>
To: Devuan Bug Tracking System <[email protected]>
Subject: proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)
Message-ID: <165903688697.4900.7482578330570836840.reportbug@khastam>
Date: Thu, 28 Jul 2022 21:34:46 +0200
X-Spam-Status: No, score=1.6 required=5.0 tests=FREEMAIL_FROM,HELO_MISC_IP,
	KHOP_DYNAMIC,RCVD_IN_DNSWL_BLOCKED,RCVD_IN_SORBS_DUL,RDNS_DYNAMIC,
	SPF_SOFTFAIL,URIBL_BLOCKED autolearn=disabled version=3.4.2
X-Spam-Level: *
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.dyne.org

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

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

------------=_1692378605-22860-0
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 696-done) by bugs.devuan.org; 18 Aug 2023 17:09:02 +0000
Return-Path: <[email protected]>
Delivered-To: [email protected]
Received: from email.devuan.org [2a01:4f8:140:32a1::58c6:6473]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Fri, 18 Aug 2023 17:09:02 +0000 (UTC)
Received: from email.devuan.org
	by email.devuan.org with LMTP
	id KKmUMJel32Q6FQAAmSBk0A
	(envelope-from <[email protected]>)
	for <[email protected]>; Fri, 18 Aug 2023 17:08:39 +0000
Received: by email.devuan.org (Postfix, from userid 109)
	id BD7BD5F5; Fri, 18 Aug 2023 17:08:39 +0000 (UTC)
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on email.devuan.org
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=RDNS_DYNAMIC,SPF_PASS
	autolearn=no autolearn_force=no version=3.4.6
Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=193.36.131.86; helo=mx.hindley.org.uk; [email protected]; receiver=<UNKNOWN> 
Received: from mx.hindley.org.uk (193-36-131-86.cfwn.uk [193.36.131.86])
	by email.devuan.org (Postfix) with ESMTPS id 6B2E927
	for <[email protected]>; Fri, 18 Aug 2023 17:08:39 +0000 (UTC)
Received: from hindley.org.uk (apollo.hindleynet [192.168.1.3])
	by mx.hindley.org.uk (Postfix) with SMTP id E0F15E0D
	for <[email protected]>; Fri, 18 Aug 2023 18:08:38 +0100 (BST)
Received: (nullmailer pid 944 invoked by uid 1000);
	Fri, 18 Aug 2023 17:08:38 -0000
Date: Fri, 18 Aug 2023 18:08:38 +0100
From: Mark Hindley <[email protected]>
To: [email protected]
Subject: Fixed in Debian #917461
Message-ID: <ZN+lll/[email protected]>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Debbugs-No-Ack: No Thanks

Version: 4.5-1
------------=_1692378605-22860-0--

Message sent:

MIME-Version: 1.0
X-Mailer: MIME-tools 5.509 (Entity 5.509)
X-Loop: [email protected]
From: "Devuan bug Tracking System" <[email protected]>
To: Hans Crauel <[email protected]>
Subject: bug#696 closed by Mark Hindley <[email protected]> (Fixed in
 Debian #917461)
Message-ID: <[email protected]>
References: <ZN+lll/[email protected]>
 <165903688697.4900.7482578330570836840.reportbug@khastam>
X-Devuan-PR-Message: they-closed 696
X-Devuan-PR-Package: proofgeneral
X-Devuan-PR-Keywords: debian
Reply-To: [email protected]
Date: Fri, 18 Aug 2023 17:10:05 +0000
Content-Type: multipart/mixed; boundary="----------=_1692378605-22860-1"

This is a multi-part message in MIME format...

------------=_1692378605-22860-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="utf-8"

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 protected]>.

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@hin=
dley.org.uk> by
replying to this email.


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

------------=_1692378605-22860-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at 696-done) by bugs.devuan.org; 18 Aug 2023 17:09:02 +0000
Return-Path: <[email protected]>
Delivered-To: [email protected]
Received: from email.devuan.org [2a01:4f8:140:32a1::58c6:6473]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Fri, 18 Aug 2023 17:09:02 +0000 (UTC)
Received: from email.devuan.org
	by email.devuan.org with LMTP
	id KKmUMJel32Q6FQAAmSBk0A
	(envelope-from <[email protected]>)
	for <[email protected]>; Fri, 18 Aug 2023 17:08:39 +0000
Received: by email.devuan.org (Postfix, from userid 109)
	id BD7BD5F5; Fri, 18 Aug 2023 17:08:39 +0000 (UTC)
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on email.devuan.org
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=RDNS_DYNAMIC,SPF_PASS
	autolearn=no autolearn_force=no version=3.4.6
Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=193.36.131.86; helo=mx.hindley.org.uk; [email protected]; receiver=<UNKNOWN> 
Received: from mx.hindley.org.uk (193-36-131-86.cfwn.uk [193.36.131.86])
	by email.devuan.org (Postfix) with ESMTPS id 6B2E927
	for <[email protected]>; Fri, 18 Aug 2023 17:08:39 +0000 (UTC)
Received: from hindley.org.uk (apollo.hindleynet [192.168.1.3])
	by mx.hindley.org.uk (Postfix) with SMTP id E0F15E0D
	for <[email protected]>; Fri, 18 Aug 2023 18:08:38 +0100 (BST)
Received: (nullmailer pid 944 invoked by uid 1000);
	Fri, 18 Aug 2023 17:08:38 -0000
Date: Fri, 18 Aug 2023 18:08:38 +0100
From: Mark Hindley <[email protected]>
To: [email protected]
Subject: Fixed in Debian #917461
Message-ID: <ZN+lll/[email protected]>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Debbugs-No-Ack: No Thanks

Version: 4.5-1
------------=_1692378605-22860-1
Content-Type: message/rfc822
Content-Disposition: inline
Content-Transfer-Encoding: 7bit

Received: (at submit) by bugs.devuan.org; 28 Jul 2022 19:36:12 +0000
Return-Path: <[email protected]>
Delivered-To: [email protected]
Received: from mail.dyne.org [141.95.83.167]
	by doc.devuan.org with IMAP (fetchmail-6.4.16)
	for <debbugs@localhost> (single-drop); Thu, 28 Jul 2022 19:36:12 +0000 (UTC)
Received: from [127.0.1.1] (dynamic-077-189-098-212.77.189.pool.telefonica.de [77.189.98.212])
	by mail.dyne.org (Postfix) with ESMTP id 66B06661918
	for <[email protected]>; Thu, 28 Jul 2022 21:34:47 +0200 (CEST)
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Hans Crauel <[email protected]>
To: Devuan Bug Tracking System <[email protected]>
Subject: proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)
Message-ID: <165903688697.4900.7482578330570836840.reportbug@khastam>
Date: Thu, 28 Jul 2022 21:34:46 +0200
X-Spam-Status: No, score=1.6 required=5.0 tests=FREEMAIL_FROM,HELO_MISC_IP,
	KHOP_DYNAMIC,RCVD_IN_DNSWL_BLOCKED,RCVD_IN_SORBS_DUL,RDNS_DYNAMIC,
	SPF_SOFTFAIL,URIBL_BLOCKED autolearn=disabled version=3.4.2
X-Spam-Level: *
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mail.dyne.org

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

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

------------=_1692378605-22860-1--