[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: maybe emacs-related bug in coq

Hi,
This bug is already known (see #435023). I'll add a dependency from coq to emacsen-common in the next upload, I think it will be enough. 

Cheers,

Samuel.


Stefano Zacchiroli wrote:

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.
Reply to: