Package: coq Version: 8.6-4 Severity: important User: debian-qa@lists.debian.org Usertags: piuparts Hi, during a test with piuparts I noticed your package produced an error message during installation, but did not fail. >From the attached log (scroll to the bottom...): Setting up coq (8.6-4) ... ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file. Install coq for emacs cheers, Andreas
Attachment:
coq_8.6-4.log.gz
Description: application/gzip