Package: proofgeneral Version: 4.2~pre120206-1 Severity: wishlist File: /usr/lib/emacsen-common/packages/install/proofgeneral
I saw the comment in the install script about proof-autoloads.el not byte compiled. I think that's due to the local variable at the end of that file, ;; no-byte-compile: t which was probably created by update-autoloads, and the byte compiler obeys. An autoloads file can be helpfully byte compiled since the dynamic docstrings thingie then leaves docstrings on disk until required, saving some memory. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (990, 'unstable') Architecture: i386 (i686) Kernel: Linux 2.6.32-5-486 Locale: LANG=en_AU, LC_CTYPE=en_AU (charmap=ISO-8859-1) Shell: /bin/sh linked to /bin/dash Versions of packages proofgeneral depends on: ii emacs23 23.3+1-1 ii mmm-mode 0.4.8-6 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: pn proofgeneral-doc <none> -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org