Package: acl2-emacs Version: 2.9.3-7 Severity: normal
Hi, here is the problem: $ xemacs -batch Loading /usr/share/emacs/site-lisp/debian-startup... Loading 00debian... Loading site-start... Loading 00debian-vars... Loading 20apel... Loading 20gnus-init... Loading 35elib-startup... Loading 42hyperlatex... Loading 50a2ps... Loading a2ps-print... Loading 50acl2-emacs... Error while loading 50acl2-emacs [...] This problem does not exist with emacs. -- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (100, 'unstable'), (99, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.15-1-686 Locale: [EMAIL PROTECTED], [EMAIL PROTECTED] (charmap=ISO-8859-15) Versions of packages acl2-emacs depends on: ii acl2 2.9.3-7 A Computational Logic for Applicat ii emacs-snapshot-gtk [emacsen 1:20060120-1 The GNU Emacs editor (with GTK+ 2. ii emacs21 [emacsen] 21.4a-3 The GNU Emacs editor ii xemacs21-gnome-mule [emacse 21.4.18-3 highly customizable text editor -- ii xemacs21-gnome-nomule [emac 21.4.18-3 highly customizable text editor -- ii xemacs21-mule [emacsen] 21.4.18-3 highly customizable text editor -- ii xemacs21-nomule [emacsen] 21.4.18-3 highly customizable text editor -- acl2-emacs recommends no packages. -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
