Package: acl2 Version: 3.0.1-1 Followup-For: Bug #381477 AFAICT, the prior FTBFS was due to a gcl bug which has since been fixed; as such, requeuing acl2 should resolve this bug.
-- System Information: Debian Release: testing/unstable APT prefers unstable APT policy: (500, 'unstable'), (500, 'stable') Architecture: amd64 (x86_64) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.17.13 Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Versions of packages acl2 depends on: ii libc6 2.3.6.ds1-5 GNU C Library: Shared libraries ii libgmp3c2 2:4.2.1+dfsg-4 Multiprecision arithmetic library ii libice6 1:1.0.1-2 X11 Inter-Client Exchange library ii libncurses5 5.5-4 Shared libraries for terminal hand ii libreadline5 5.1-9 GNU readline and history libraries ii libsm6 1:1.0.1-3 X11 Session Management library ii libx11-6 2:1.0.0-9 X11 client-side library ii libxaw7 1:1.0.2-4 X11 Athena Widget library ii libxext6 1:1.0.1-2 X11 miscellaneous extension librar ii libxmu6 1:1.0.2-2 X11 miscellaneous utility library ii libxt6 1:1.0.2-2 X11 toolkit intrinsics library Versions of packages acl2 recommends: ii acl2-books 3.0.1-1 A Computational Logic for Applicat ii acl2-source 3.0.1-1 A Computational Logic for Applicat -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
