:: [devuan-dev] bug#696: proofgeneral:…
Top Page
This message is part of the following thread:
Mthe complete thread tree sorted by date
 
 
Delete this message
Reply to this message
Author: Mark Hindley
Date:  
To: 696
Subject: [devuan-dev] bug#696: proofgeneral: is designed for emacs24/25, does not work with emacs27
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
This message was posted to the following mailing lists:
devuan-dev
Mailing List Info | Nearby Messages		<-[devuan-dev] bug#697: /etc/default/grub.d/xen.cfg: Extraneous output line causes error message at boot[devuan-dev] Version of consolekit2 changed in Devuan daedalus->

Donate to Dyne.org

dyne.org open discussions
administrated by dyne.org hackers		Lurker (version 2.3)