Devuan bug reports: package proofgeneral

Note that with multi-binary packages there may be other reports filed under the different binary package names.

See the listing of packages.
Previous package in list, procps (Devuan Dev <[email protected]>)
Next package in list, pulseaudio (Dima Krasner <[email protected]>)

---

Wishlist items - resolved:

(List of all such bugs is available.)

• #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]>.

(Closed bugs are archived 28 days after the last related message is received.)

---