Devuan4)

Package: proofgeneral; Maintainer for proofgeneral is (unknown); Source for proofgeneral is src:proofgeneral.

Reported by: Hans Crauel <crauel_usenet@freenet.de>

Date: Thu, 28 Jul 2022 19:38:02 UTC

Severity: wishlist

Tags: debian

Found in version 4.4.1~pre170114-1.2

Fixed in version 4.5-1

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

Forwarded to https://bugs.debian.org/917461

Full log

🔗 View this message in rfc822 format

X-Loop: owner@bugs.devuan.org
Subject: bug#696: proofgeneral: is designed for emacs24/25, does not work with emacs27
Reply-To: Mark Hindley <mark@hindley.org.uk>, 696@bugs.devuan.org
Resent-From: Mark Hindley <mark@hindley.org.uk>
Resent-To: devuan-bugs@lists.dyne.org
Resent-CC: devuan-dev@lists.dyne.org
X-Loop: owner@bugs.devuan.org
Resent-Date: Tue, 02 Aug 2022 09:08:02 +0000
Resent-Message-ID: <handler.696.B696.165943126028089@bugs.devuan.org>
Resent-Sender: owner@bugs.devuan.org
X-Devuan-PR-Message: followup 696
X-Devuan-PR-Package: proofgeneral
X-Devuan-PR-Keywords: 
References: <165903688697.4900.7482578330570836840.reportbug@khastam>
Received: via spool by 696-submit@bugs.devuan.org id=B696.165943126028089
          (code B ref 696); Tue, 02 Aug 2022 09:08:02 +0000
Received: (at 696) by bugs.devuan.org; 2 Aug 2022 09:07:40 +0000
Delivered-To: devuanbugs@dyne.org
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 <696@bugs.devuan.org>; 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 <mark@hindley.org.uk>)
	id 1oIlxd-0001h8-Q3
	for 696@bugs.devuan.org; 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 <mark@hindley.org.uk>
To: 696@bugs.devuan.org
Message-ID: <YujMnXs47UdcaTYS@hindley.org.uk>
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

Send a report that this bug log contains spam.

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

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