Home | Devuan | Git | Forum | Packages | Popcon
Donate now!
Download

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

Package: proofgeneral; Severity: wishlist; Reported by: Hans Crauel <[email protected]>; Keywords: debian; Done: Mark Hindley <[email protected]>; Maintainer for proofgeneral is (unknown).

Message received at [email protected]:


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
Notification sent to Hans Crauel <[email protected]>:
bug acknowledged by developer. Full text available.
Reply sent to Mark Hindley <[email protected]>:
You have taken responsibility. Full text available.
Set bug forwarded-to-address to 'https://bugs.debian.org/917461'. Request was from Mark Hindley <[email protected]> to [email protected]. Full text available.
Added tag(s) debian. Request was from Mark Hindley <[email protected]> to [email protected]. Full text available.

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
Acknowledgement sent to Mark Hindley <[email protected]>:
Extra info received and forwarded to list. Copy sent to [email protected]. Full text available.
Information forwarded to [email protected], [email protected]:
bug#696; Package proofgeneral. Full text available.

Message received at [email protected]:


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
Acknowledgement sent to Hans Crauel <[email protected]>:
New bug report received and forwarded. Copy sent to [email protected], [email protected]. Full text available.
Report forwarded to [email protected], [email protected], [email protected]:
bug#696; Package proofgeneral. Full text available.

Devuan BTS -- Powered by Debian bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.

Devuan Bugs Owner <[email protected]>.
Last modified: Thu, 28 Nov 2024 06:39:01 UTC