Package: proofgeneral Version: 4.4.1~pre170114-1 Severity: normal Dear Maintainer,
After upgrading emacs to 1:26.1+1-2, proofgeneral no longer works with coq source. Trying to process the source (Next Step, or Use Buffer) yields the message "Cannot open load file: Aucun fichier ou dossier de ce type, cl-extra". *Messages* contains: The Coq Proof Assistant, version 8.6 (September 2017) compiled on Sep 26 2017 9:14:9 with OCaml 4.05.0 condition-case: Cannot open load file: Aucun fichier ou dossier de ce type, cl-extra Best regards, Samuel -- 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 proofgeneral depends on: ii emacs25 1:26.1+1-2 ii mmm-mode 0.5.7-3 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: ii proofgeneral-doc 4.4.1~pre170114-1 pn prooftree <none> -- no debconf information
