Package: proofgeneral Version: 4.5-1 Severity: normal X-Debbugs-Cc: none, Lev Lamberov <dogs...@debian.org>
Dear Maintainer, When starting GNU Emacs I'm getting the following error message (as extracted from *Messages* buffer): Loading /etc/emacs/site-start.d/50proofgeneral.el (source)... Loading /usr/share/emacs/site-lisp/proofgeneral/generic/proof-site.el (source)...done Error while loading 50proofgeneral: Invalid read syntax: ")", 19, 29 Regards, Lev -- System Information: Debian Release: trixie/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 6.7.9-amd64 (SMP w/4 CPU threads; PREEMPT) Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE Locale: LANG=ru_RU.UTF-8, LC_CTYPE=ru_RU.UTF-8 (charmap=UTF-8), LANGUAGE not set Shell: /bin/sh linked to /usr/bin/dash Init: systemd (via /run/systemd/system) LSM: AppArmor: enabled Versions of packages proofgeneral depends on: ii emacs 1:29.2+1-2 ii emacs-gtk [emacs] 1:29.2+1-2 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: ii proofgeneral-doc 4.5-1 ii prooftree 0.13-3 -- no debconf information