Hi Hendrik, didn't know xemacs is not supported anymore. Too bad.
Not sure if you're still interested, but here's the full log, and the pkg versions. ii emacs 23.3+1-5 The GNU Emacs editor (metapackage) ii emacs23-bin-common 23.3+1-5 The GNU Emacs editor's shared, architecture dependent files ii emacs23-common 23.3+1-5 The GNU Emacs editor's shared, architecture independent infrastructure ii emacs23-nox 23.3+1-5 The GNU Emacs editor (without X support) ii emacsen-common 1.4.23 Common facilities for all emacsen iF proofgeneral 4.2~pre120112-1 generic frontend for proof assistants ii xemacs21 21.4.22-3.2 highly customizable text editor ii xemacs21-basesupport 2009.02.17.dfsg.1-1 Editor and kitchen sink -- compiled elisp support files ii xemacs21-bin 21.4.22-3.2 highly customizable text editor -- support binaries ii xemacs21-mule 21.4.22-3.2 highly customizable text editor -- Mule binary ii xemacs21-mulesupport 2009.02.17.dfsg.1-1 Editor and kitchen sink -- Mule elisp support files ii xemacs21-support 21.4.22-3.2 highly customizable text editor -- architecture independent support files Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... The following partially installed packages will be configured: proofgeneral No packages will be installed, upgraded, or removed. 0 packages upgraded, 0 newly installed, 0 to remove and 13 not upgraded. Need to get 0 B of archives. After unpacking 0 B will be used. Writing extended state information... 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/mmm-mode/mmm-class.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-cmds.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-compat.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-cweb.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-mason.elc Source file `/usr/share/emacs23/site-lisp/mmm-mode/mmm-univ.el' newer than byte-compiled file Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-mode.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-noweb.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-region.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-rpm.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-sample.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-univ.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-utils.elc Wrote /usr/share/emacs23/site-lisp/mmm-mode/mmm-vars.elc install/mmm-mode: Handling install of emacsen flavor xemacs21 install/mmm-mode: byte-compiling for xemacs21 Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-auto.el... Loading mmm-vars... (file mmm-vars.el is newer) Loading mmm-compat... (file mmm-compat.el is newer) Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-auto.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-class.el... Loading mmm-region... (file mmm-region.el is newer) Loading mmm-utils... (file mmm-utils.el is newer) Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-class.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-cmds.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-cmds.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-compat.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-compat.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-cweb.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-cweb.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-mason.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-mason.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-mode.el... Loading mmm-univ... (file mmm-univ.el is newer) Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-mode.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-noweb.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-noweb.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-region.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-region.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-rpm.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-rpm.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-sample.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-sample.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-univ.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-univ.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-utils.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-utils.elc Compiling /usr/share/xemacs21/site-lisp/mmm-mode/mmm-vars.el... Wrote /usr/share/xemacs21/site-lisp/mmm-mode/mmm-vars.elc Done install/proofgeneral: Handling install for emacsen flavor emacs23 Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-utils.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-site.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/pg-vars.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/lib/proof-compat.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/pg-pamacs.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-config.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-useropts.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-faces.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/lib/bufhist.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-syntax.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/lib/scomint.el' newer than byte-compiled file Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-assoc.elc Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-splash.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-auxmodes.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-script.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/lib/span.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-menu.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-tree.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/proof-shell.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/pg-response.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/pg-goals.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/pg-user.el' newer than byte-compiled file Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-autotest.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-custom.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-goals.elc Source file `/usr/share/emacs23/site-lisp/proofgeneral/lib/maths-menu.el' newer than byte-compiled file Source file `/usr/share/emacs23/site-lisp/proofgeneral/generic/pg-xml.el' newer than byte-compiled file Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-movie.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-pamacs.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-pbrpm.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-pgip.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-response.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-user.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-vars.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/pg-xml.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-auxmodes.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-config.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-depends.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-easy-config.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-faces.elc Wrote /usr/share/emacs23/site-lisp/proofgeneral/generic/proof-indent.elc 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/coq/coq.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 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 install/mmm-mode: Handling install of emacsen flavor xemacs21 install/mmm-mode: byte-compiling for xemacs21 install/proofgeneral: Handling install for emacsen flavor emacs23 Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Thank you, N. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/debian-bugs-dist
