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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
