On Sun, 26 Jan 2014 16:12:12 +0100 Nicolas Patrois <[email protected]> wrote: > Package: coq > Version: 8.4pl3dfsg-1 > Severity: minor > > Dear Maintainer, > > The last coq update showed these messages in aptitude: > > Preparing to unpack .../coq_8.4pl3dfsg-1_i386.deb ... > ERROR: coq is broken - called emacs-package-remove as a new-style add-on, but > has no compat file. > Remove coq for emacs22 > remove/coq: purging byte-compiled files for emacs22 > Remove coq for emacs23 > remove/coq: purging byte-compiled files for emacs23 > ERROR: coq is broken - called emacs-package-install as a new-style add-on, > but has no compat file. > Unpacking coq (8.4pl3dfsg-1) over (8.4pl2dfsg-4) ... > > I donât run Emacs but Emacs users may be bothered.
Can we get this fixed for stretch, please? Thanks Andreas
