To understand a bug reported against ocaml-mode I was installing emacs
for the first time on my laptop :) In the same install run I've got an
upgraded coq version. During coq's postinst I've read the following:
Setting up coq (8.1.pl2+dfsg-2) ...
Installing new version of config file /etc/emacs/site-start.d/50coq.el ...
ERROR: emacsen-common being used before being configured.
ERROR: This is likely a bug in the coq package, which needs to
ERROR: add one of the appropriate dependencies.
ERROR: See /usr/share/doc/emacsen-common/debian-emacs-policy.gz
ERROR: for details.
dpkg: error processing coq (--configure):
subprocess post-installation script returned error exit status 2
I post it here for auditing by emacs-knowledgeable people and/or coq
maintainers.
Cheers.
--
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature