Package: proofgeneral Version: 4.4.1~pre170114-1.2 Severity: normal Dear Maintainer,
proofgeneral works with emacs-lucid and with emacs-nox. Please, do not depend only on emacs-gtk. With regards, Lev Lamberov -- System Information: Debian Release: bullseye/sid APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 5.4.0-3-amd64 (SMP w/4 CPU cores) 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=ru_RU.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 emacs-gtk 1:26.3+1-1 ii mmm-mode 0.5.7-3 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: pn proofgeneral-doc <none> ii prooftree 0.13-1+b4 -- no debconf information