Your message dated Mon, 14 May 2007 21:15:07 -0700
with message-id <[EMAIL PROTECTED]>
and subject line FTBFS due to TeX Live migration
has caused the attached Bug report to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere.  Please contact me immediately.)

Debian bug tracking system administrator
(administrator, Debian Bugs database)

--- Begin Message ---
Package: acl2
Version: 3.1-1
Severity: serious
Justification: no longer builds from source

Hi!

acl2 currently fails to build from source in sid [1].

This is due to the migration from teTeX to TeX Live currently
happening in sid [2].  You might want to talk a look at the help
page [3] listing hints and strategies to solve this issue.

[1] http://people.debian.org/~lucas/logs/2007/04/rebuild.sid.i386.20070416/acl2_3.1-1_sid32.buildlog
[2] http://lists.debian.org/debian-devel-announce/2007/04/msg00006.html
[3] http://pkg-tetex.alioth.debian.org/mapping-texlive.html

Cheers,
-- 
Jérémy Bobbio                        .''`. 
[EMAIL PROTECTED]                    : :Ⓐ  :  # apt-get install anarchism
                                    `. `'` 
                                      `-   

Attachment: signature.asc
Description: Digital signature


--- End Message ---
--- Begin Message ---
This appears to be a false-positive triggered by transient uninstallability
of the tetex-* metapackages, which apparently are being kept around and have
already been updated to point at texlive for their dependencies.

All of acl2's build-dependencies are currently installable, and it looks
like acl2 builds successfully from source with these versions installed.

Thanks,
-- 
Steve Langasek                   Give me a lever long enough and a Free OS
Debian Developer                   to set it on, and I can move the world.
[EMAIL PROTECTED]                                   http://www.debian.org/

--- End Message ---

Reply via email to