Bug#736761: coq and Emacs 2x

[Andreas Beckmann <anbe@debian.org>]

On Sun, 26 Jan 2014 16:12:12 +0100 Nicolas Patrois
<nicolas.patrois@gmail.com> 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