Greetings, and thanks! I agree, have been unable to reproduce by hand. Is there any way I can requeue a package as an ordinary developer, or must such requests be handled manually via email request to the buildd admins? I've always been a bit frustrated by this, as the only sure fire way I have to awake the autobuilders to to upload a new version, which of course burdens all arches equally.
Take care, "Aaron M. Ucko" <[EMAIL PROTECTED]> writes: > 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 > > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]