Package: acl2 Version: 2.9.3-1 Severity: important Hi,
Your package is failing to build on amd64 with the following error: Compiling /build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o. "/build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o" Loading /build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o start address -T 0x24201c0 Finished loading /build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.o Summary Form: (CERTIFY-BOOK "xtr2" ...) Rules: NIL Warnings: None Time: 0.94 seconds (prove: 0.01, print: 0.00, other: 0.93) "/build/buildd/acl2-2.9.3/books/textbook/chap11/xtr2.lisp" ACL2 !> Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP). ACL2>***************************************************************************+*** Build finished at 20050815-0524 FAILED [dpkg-buildpackage died] Kurt -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
