Package: proofgeneral Version: 4.2~pre120112-1 Severity: important Dear Maintainer,
During upgrade from 3.x, proofgeneral install failed. Although unconfigured, console emacs23 still works, but xemacs21 does not. See appendix for error lines from aptitude output. Regards, N. Appendix: $ aptitude install proofgeneral 2>&1 | grep -C10 -i error Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-maths-menu.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-menu.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-mmm.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-script.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-shell.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-site.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-splash.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-syntax.elc In toplevel form: generic/proof-toolbar.el:117:30:Error: assignment to free variable `tool-bar-map' Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-tree.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-unicode-tokens.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-useropts.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-utils.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/bufhist.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/holes.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/local-vars-list.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/maths-menu.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/pg-dev.elc In toplevel form: lib/pg-fontsets.el:67:1:Error: the function `create-fontset-from-fontset-spec' is not known to be defined. Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/proof-compat.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/scomint.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/span.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/texi-docstring-magic.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/unicode-chars.elc In toplevel form: lib/unicode-tokens.el:1488:1:Error: the function `generate-fontset-menu' is not known to be defined. Source file `/usr/share/emacs23/site-lisp/proofgeneral/coq/coq-syntax.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/coq/coq-db.el' newer than byte-compiled file Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-abbrev.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-autotest.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-db.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-indent.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-local-vars.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-mmm.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-syntax.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc -- Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-extraction.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-font.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-fun.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-lang.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-outline.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-pbrpm.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-sym-lock.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-tags.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox.elc emacs-package-install: /usr/lib/emacsen-common/packages/install/proofgeneral emacs23 emacs23 xemacs21 failed at /usr/lib/emacsen-common/emacs-package-install line 30, <TSORT> line 2. dpkg: error processing proofgeneral (--configure): subprocess installed post-installation script returned error exit status 1 configured to not write apport reports Errors were encountered while processing: proofgeneral E: Sub-process /usr/bin/dpkg returned an error code (1) A package failed to install. Trying to recover: Setting up proofgeneral (4.2~pre120112-1) ... install/mmm-mode: Handling install of emacsen flavor emacs install/mmm-mode: Handling install of emacsen flavor emacs23 install/mmm-mode: byte-compiling for emacs23 Source file `/usr/share/emacs23/site-lisp/mmm-mode/mmm-vars.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/mmm-mode/mmm-compat.el' newer than byte-compiled file Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-auto.elc Source file `/usr/share/emacs23/site-lisp/mmm-mode/mmm-region.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/mmm-mode/mmm-utils.el' newer than byte-compiled file -- Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-maths-menu.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-menu.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-mmm.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-script.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-shell.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-site.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-splash.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-syntax.elc In toplevel form: generic/proof-toolbar.el:117:30:Error: assignment to free variable `tool-bar-map' Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-tree.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-unicode-tokens.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-useropts.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-utils.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/bufhist.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/holes.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/local-vars-list.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/maths-menu.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/pg-dev.elc In toplevel form: lib/pg-fontsets.el:67:1:Error: the function `create-fontset-from-fontset-spec' is not known to be defined. Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/proof-compat.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/scomint.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/span.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/texi-docstring-magic.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/lib/unicode-chars.elc In toplevel form: lib/unicode-tokens.el:1488:1:Error: the function `generate-fontset-menu' is not known to be defined. Source file `/usr/share/emacs23/site-lisp/proofgeneral/coq/coq-syntax.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/coq/coq-db.el' newer than byte-compiled file Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-abbrev.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-autotest.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-db.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-indent.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-local-vars.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-mmm.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-syntax.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/coq/coq-unicode-tokens.elc -- Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-extraction.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-font.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-fun.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-lang.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-outline.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-pbrpm.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-sym-lock.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox-tags.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/phox/phox.elc emacs-package-install: /usr/lib/emacsen-common/packages/install/proofgeneral emacs23 emacs23 xemacs21 failed at /usr/lib/emacsen-common/emacs-package-install line 30, <TSORT> line 2. dpkg: error processing proofgeneral (--configure): subprocess installed post-installation script returned error exit status 1 Errors were encountered while processing: proofgeneral Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.2.0-1-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Versions of packages proofgeneral depends on: ii emacs23-nox [emacs23] 23.3+1-5 ii mmm-mode 0.4.8-6 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: pn proofgeneral-doc <none> -- debconf information: proofgeneral/autoload: true -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
