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 (present in Debian11/Devuan4)
Reply-To: Hans Crauel <crauel_usenet@freenet.de>, 696@bugs.devuan.org
Resent-From: Hans Crauel <crauel_usenet@freenet.de>
Resent-To: devuan-bugs@lists.dyne.org
Resent-CC: crauel_usenet@freenet.de, devuan-dev@lists.dyne.org
X-Loop: owner@bugs.devuan.org
Resent-Date: Thu, 28 Jul 2022 19:38:02 +0000
Resent-Message-ID: <handler.696.B.16590369728494@bugs.devuan.org>
Resent-Sender: owner@bugs.devuan.org
X-Devuan-PR-Message: report 696
X-Devuan-PR-Package: proofgeneral
X-Devuan-PR-Keywords: 
Received: via spool by submit@bugs.devuan.org id=B.16590369728494
          (code B); Thu, 28 Jul 2022 19:38:02 +0000
Received: (at submit) by bugs.devuan.org; 28 Jul 2022 19:36:12 +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); 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 <submit@bugs.devuan.org>; 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 <crauel_usenet@freenet.de>
To: Devuan Bug Tracking System <submit@bugs.devuan.org>
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: 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.

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)