Source: acl2 Version: 4.1-2 Severity: serious Justification: FTBFS Hi,
your package no longer builds on mips: | […] | Making /build/buildd-acl2_4.1-2-mips-g9jTjG/acl2-4.1/books/unicode/take-bytes.cert on Sat Oct 2 10:31:31 UTC 2010 | -rw-r--r-- 1 buildd buildd 13332 Oct 2 10:32 take-bytes.cert | Making /build/buildd-acl2_4.1-2-mips-g9jTjG/acl2-4.1/books/unicode/read-utf8.cert on Sat Oct 2 10:32:10 UTC 2010 | make: *** Deleting file `debian/test.log' | make: *** [debian/test.log] Terminated | E: Caught signal 'Terminated': terminating immediately | Build killed with signal TERM after 300 minutes of inactivity Full build logs: https://buildd.debian.org/status/package.php?p=acl2 I chose to report a bug instead of just giving it back since mips* usually kind of lack build power; you probably want to arrange a give back with the mips buildd admins. Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
