Bug#736761: coq and Emacs 2x
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.
-- System Information:
Debian Release: jessie/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 3.9-1-686-pae (SMP w/3 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages coq depends on:
iu coq-theories 8.4pl3dfsg-1
ii emacsen-common 2.0.7
ii libc6 2.17-97
iu libcoq-ocaml [libcoq-ocaml-ajad9] 8.4pl3dfsg-1
ii ocaml-base-nox [ocaml-base-nox-4.01.0] 4.01.0-3
Versions of packages coq recommends:
iu coqide 8.4pl3dfsg-1
ii proofgeneral 4.3~pre130510-1
Versions of packages coq suggests:
pn coq-doc <none>
pn libcoq-ocaml-dev <none>
ii ocaml-nox 4.01.0-3
ii proofgeneral 4.3~pre130510-1
ii rlwrap [readline-editor] 0.37-4
pn why <none>
-- no debconf information
Reply to: