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 `. `'` `-
signature.asc
Description: Digital signature
