Package: proofgeneral Version: 4.3~pre131011-0.1 Severity: normal When upgrading proofgeneral, I get this message:
------------------------------------------------------------
Preparing to unpack .../proofgeneral_4.3~pre131011-0.1_all.deb ...
ERROR: proofgeneral is broken - called emacs-package-remove as a new-style
add-on, but has no compat file.
Remove proofgeneral for emacs24
remove/proofgeneral: purging byte-compiled files for emacs24
Unpacking proofgeneral (4.3~pre131011-0.1) over (4.3~pre130510-1.1) ...
------------------------------------------------------------
The upgrade finishes though.
Sami
-- System Information:
Debian Release: jessie/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 3.16.1 (SMP w/8 CPU cores; PREEMPT)
Locale: LANG=en_US.UTF-8, LC_CTYPE=fi_FI.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages proofgeneral depends on:
ii emacs24 24.3+1-4+b1
ii mmm-mode 0.5.1-2
proofgeneral recommends no packages.
Versions of packages proofgeneral suggests:
ii proofgeneral-doc 4.3~pre131011-0.1
-- no debconf information
signature.asc
Description: Digital signature
