:: [devuan-dev] bug#696: proofgeneral:…
Top Page
Delete this message
Reply to this message
Author: Hans Crauel
To: Devuan Bug Tracking System
Subject: [devuan-dev] bug#696: proofgeneral: is designed for emacs24/25, does not work with emacs27 (present in Debian11/Devuan4)
Package: proofgeneral
Version: 4.4.1~pre170114-1.2
Severity: wishlist
X-Debbugs-Cc: crauel_usenet@???

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

* 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