Subject: bug#696: proofgeneral: is designed for emacs24/25, does not work with emacs27

From: Mark Hindley <[email-masked]>
Date: Tue, 2 Aug 2022 08:05:01 +0100

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