Bug#854147: coq: ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.

[Hendrik Tews <hendrik@askra.de>]

Hi,

I would say, this is not really critical. As far as I understand,
the emacs compat file is a policy requirement, which is not used
currently.

The fix is easy, just include a file <package>.emacsen-compat
with content 0 in the debian directory, see for instance
https://alioth.debian.org/scm/viewvc.php/emacs-goodies-el/debian/debian-el.emacsen-compat?root=pkg-goodies-el&view=log
and /usr/lib/emacsen-common/packages/compat in your local debian
installation.

Hendrik