Package: emacs Version: 1:26.1+1-2 Severity: normal Dear Maintainer,
During upgrading emacs (from 1:25.2+1-11), installation gets stuck (my patience ran out after a few minutes...) on byte-compiling mmm-mode, more precisely on /usr/share/emacs/site-lisp/mmm-mode/mmm-sample.el. I replaced this file with an empty file to get installation to get through. But then when opening a file in proofgeneral mode, emacs hangs. Downgrading emacs solves the problem. -- System Information: Debian Release: buster/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 4.19.0-1-amd64 (SMP w/2 CPU cores) Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages emacs depends on: ii emacs-gtk 1:26.1+1-2 emacs recommends no packages. emacs suggests no packages. -- no debconf information