Source: acl2 Version: 4.1-1 Severity: serious > sbuild (Debian sbuild) 0.60.0 (23 Feb 2010) on porpora.debian.org > > ╔══════════════════════════════════════════════════════════════════════════════╗ > ║ acl2 4.1-1 (powerpc) 17 Sep 2010 > 22:31 ║ > ╚══════════════════════════════════════════════════════════════════════════════╝ [...] > make[6]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec/other-apps/records' > make[5]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec/other-apps/records' > make[4]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec/other-apps' > make[3]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/defexec' > make[3]: Entering directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic' > make[4]: Entering directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib' > Updating dependencies in > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib > make[4]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib' > make[4]: Entering directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib' > Using ACL2=../../../saved_acl2 > /usr/bin/make -s -f Makefile defstobj+.cert fib-def.cert > tiny-rewrites.cert tiny.cert INHIBIT='(set-inhibit-output-lst (list (quote > prove) (quote proof-tree) (quote warning) (quote observation) (quote event) > (quote expansion)))' ACL2='../../../saved_acl2' > make[5]: Entering directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib' > Making > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/defstobj+.cert > on Sat Sep 18 02:00:48 UTC 2010 > -rw-r--r-- 1 buildd buildd 4850 Sep 18 02:00 defstobj+.cert > Making > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.cert > on Sat Sep 18 02:00:53 UTC 2010 > ls: cannot access tiny.cert: No such file or directory > **CERTIFICATION FAILED** for > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.lisp > > | (:DEFINITION NFIX) > | (:DEFINITION NOT) > | (:DEFINITION PROGRAM-LOADED) > | (:EXECUTABLE-COUNTERPART EQUAL) > | (:EXECUTABLE-COUNTERPART NFIX) > | (:FAKE-RUNE-FOR-TYPE-SET NIL) > | (:INDUCTION PROGRAM-LOADED) > | (:REWRITE NTH-UPDATE-NTH2)) > | Time: 0.04 seconds (prove: 0.04, print: 0.00, other: 0.00) > | PROGRAM-LOADED-IRRELEVANT > | > | Summary > | Form: ( DEFTHM PROGRAM-LOADED-CONS ...) > | Rules: ((:DEFINITION ENDP) > | (:DEFINITION FIX) > | (:DEFINITION LEN) > | (:DEFINITION MEMI) > | (:DEFINITION NFIX) > | (:DEFINITION NOT) > | (:DEFINITION PROGRAM-LOADED) > | (:DEFINITION SYNP) > | (:EXECUTABLE-COUNTERPART EQUAL) > | (:EXECUTABLE-COUNTERPART NFIX) > | (:EXECUTABLE-COUNTERPART NOT) > | (:FAKE-RUNE-FOR-LINEAR NIL) > | (:FAKE-RUNE-FOR-TYPE-SET NIL) > | (:INDUCTION LEN) > | (:INDUCTION PROGRAM-LOADED) > | (:META CANCEL_PLUS-LESSP-CORRECT) > | (:REWRITE COMMUTATIVITY-2-OF-+) > | (:REWRITE COMMUTATIVITY-OF-+) > | (:REWRITE NTH-UPDATE-NTH-1) > | (:REWRITE NTH-UPDATE-NTH-2) > | (:REWRITE NTH-UPDATE-NTH-CONST) > | (:REWRITE NTH-UPDATE-NTH2) > | (:REWRITE UNICITY-OF-0) > | (:TYPE-PRESCRIPTION LEN) > | (:TYPE-PRESCRIPTION PROGRAM-LOADED)) > | Time: 0.30 seconds (prove: 0.30, print: 0.00, other: 0.00) > | PROGRAM-LOADED-CONS > | [SGC for 17149 CONS pages..(29029 writable)..(T=12).GC finished] > | > | Summary > | Form: ( DEFTHM MOD-LOOP-CALCULATES-MOD ...) > | Rules: ((:COMPOUND-RECOGNIZER ZP-COMPOUND-RECOGNIZER) > | (:DEFINITION =) > | (:DEFINITION CTOS) > | (:DEFINITION CTOSP) > | (:DEFINITION DTOS) > | (:DEFINITION DTOSP) > | (:DEFINITION FIX) > | (:DEFINITION INTEGER-RANGE-P) > | (:DEFINITION LENGTH) > | (:DEFINITION MEMI) > | (:DEFINITION MOD-LOOP-ONCE-EFFECT) > | (:DEFINITION MODLOOP-CLOCK-HELPER) > | (:DEFINITION NFIX) > | (:DEFINITION NOT) > | (:DEFINITION PROGC) > | (:DEFINITION PROGCP) > | (:DEFINITION REMAINDER-PROG-RESULT) > | (:DEFINITION SYNP) > | (:DEFINITION TINY-STATEP) > | (:DEFINITION UNSIGNED-BYTE-P) > | (:EXECUTABLE-COUNTERPART <) > | (:EXECUTABLE-COUNTERPART BINARY-+) > | (:EXECUTABLE-COUNTERPART EQUAL) > | (:EXECUTABLE-COUNTERPART EXPT) > | (:EXECUTABLE-COUNTERPART INTEGER-LENGTH) > | (:EXECUTABLE-COUNTERPART INTEGERP) > | (:EXECUTABLE-COUNTERPART LEN) > | (:EXECUTABLE-COUNTERPART LOGMASKP) > | (:EXECUTABLE-COUNTERPART NFIX) > | (:EXECUTABLE-COUNTERPART NOT) > | (:EXECUTABLE-COUNTERPART PROGCP) > | (:EXECUTABLE-COUNTERPART UNSIGNED-BYTE-P) > | (:EXECUTABLE-COUNTERPART ZP) > | (:FAKE-RUNE-FOR-LINEAR NIL) > | (:FAKE-RUNE-FOR-TYPE-SET NIL) > | (:FORWARD-CHAINING UNSIGNED-BYTE-P-FORWARD) > | (:FORWARD-CHAINING > UNSIGNED-BYTE-P-FORWARD-TO-NONNEGATIVE-INTEGERP) > | (:INDUCTION MOD-LOOP-REPEAT-INDUCT) > | (:REWRITE <-+-NEGATIVE-0-1) > | (:REWRITE <-+-NEGATIVE-0-2) > | (:REWRITE <-0-+-NEGATIVE-2) > | (:REWRITE ARB-MEMORY) > | (:REWRITE COMMUTATIVITY-OF-LOGAND) > | (:REWRITE FOLD-CONSTS-IN-+) > | (:REWRITE INTEGERP-+) > | (:REWRITE INTEGERP-UNARY--) > | (:REWRITE INVERSE-OF-+) > | (:REWRITE LEN-UPDATE-NTH1) > | (:REWRITE LESSP-MINUS-HACK4) > | (:REWRITE LOGAND-WITH-MASK) > | (:REWRITE MEMP-UPDATE-NTH) > | (:REWRITE MOD-LOOP-END1) > | (:REWRITE MOD-LOOP-END2) > | (:REWRITE MOD-LOOP-REPEAT) > | (:REWRITE NTH-UPDATE-NTH-1) > | (:REWRITE NTH-UPDATE-NTH-2) > | (:REWRITE NTH-UPDATE-NTH-CONST) > | (:REWRITE PROGRAM-LOADED-CONS) > | (:REWRITE PROGRAM-LOADED-IRRELEVANT) > | (:REWRITE TINY-C+) > | (:REWRITE UNICITY-OF-0) > | (:REWRITE UPDATE-NTH-EQUAL) > | (:REWRITE ZP-OPEN) > | (:TYPE-PRESCRIPTION LEN) > | (:TYPE-PRESCRIPTION MEMP) > | (:TYPE-PRESCRIPTION PROGRAM-LOADED) > | (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH) > | (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P) > | (:TYPE-PRESCRIPTION UPDATE-NTH) > | (:TYPE-PRESCRIPTION |x < y => 0 < -x+y|)) > | Time: 2.12 seconds (prove: 2.12, print: 0.00, other: 0.00) > | MOD-LOOP-CALCULATES-MOD > | > | Summary > | Form: ( DEFUN REMCLOCK ...) > | Rules: ((:TYPE-PRESCRIPTION MODLOOP-CLOCK-HELPER)) > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | REMCLOCK > | > | Summary > | Form: ( DEFUN GOOD-INITIAL-REMAINDER-STATE ...) > | Rules: NIL > | Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) > | GOOD-INITIAL-REMAINDER-STATE > | > | Summary > | Form: ( DEFTHM REMAINDER-CORRECT ...) > | Rules: ((:DEFINITION CTOS) > | (:DEFINITION CTOSP) > | (:DEFINITION DTOS) > | (:DEFINITION DTOSP) > | (:DEFINITION GOOD-INITIAL-REMAINDER-STATE) > | (:DEFINITION INTEGER-RANGE-P) > | (:DEFINITION LENGTH) > | (:DEFINITION MEMI) > | (:DEFINITION NOT) > | (:DEFINITION PROGC) > | (:DEFINITION PROGCP) > | (:DEFINITION REMCLOCK) > | (:DEFINITION TINY-STATEP) > | (:DEFINITION UNSIGNED-BYTE-P) > | (:EXECUTABLE-COUNTERPART <) > | (:EXECUTABLE-COUNTERPART EQUAL) > | (:EXECUTABLE-COUNTERPART EXPT) > | (:EXECUTABLE-COUNTERPART INTEGERP) > | (:EXECUTABLE-COUNTERPART NOT) > | (:EXECUTABLE-COUNTERPART PROGCP) > | (:EXECUTABLE-COUNTERPART UNSIGNED-BYTE-P) > | (:FAKE-RUNE-FOR-TYPE-SET NIL) > | (:FORWARD-CHAINING UNSIGNED-BYTE-P-FORWARD) > | (:TYPE-PRESCRIPTION MEMP) > | (:TYPE-PRESCRIPTION PROGRAM-LOADED) > | (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P)) > | Time: 0.11 seconds (prove: 0.11, print: 0.00, other: 0.00) > | REMAINDER-CORRECT > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o > | start address -T 0x137caaa0 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o > | > | Summary > | Form: ( INCLUDE-BOOK "ihs/quotient-remainder-lemmas" ...) > | Rules: NIL > | Time: 0.43 seconds (prove: 0.00, print: 0.00, other: 0.43) > | > "/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.lisp" > | > | Summary > | Form: ( DEFTHM REMAINDER-IS-MOD ...) > | Rules: ((:COMPOUND-RECOGNIZER ZP-COMPOUND-RECOGNIZER) > | (:DEFINITION FIX) > | (:DEFINITION MOD) > | (:DEFINITION NFIX) > | (:DEFINITION NOT) > | (:DEFINITION REMAINDER-PROG-RESULT) > | (:EXECUTABLE-COUNTERPART <) > | (:EXECUTABLE-COUNTERPART EQUAL) > | (:EXECUTABLE-COUNTERPART FIX) > | (:EXECUTABLE-COUNTERPART INTEGERP) > | (:EXECUTABLE-COUNTERPART NFIX) > | (:EXECUTABLE-COUNTERPART NOT) > | (:EXECUTABLE-COUNTERPART RATIONALP) > | (:EXECUTABLE-COUNTERPART UNARY--) > | (:EXECUTABLE-COUNTERPART ZP) > | (:FAKE-RUNE-FOR-LINEAR NIL) > | (:FAKE-RUNE-FOR-TYPE-SET NIL) > | (:INDUCTION REMAINDER-PROG-RESULT) > | (:META CANCEL_PLUS-EQUAL-CORRECT) > | (:REWRITE <-+-NEGATIVE-0-2) > | (:REWRITE CANCEL-MOD-+) > | (:REWRITE COMMUTATIVITY-OF-*) > | (:REWRITE EQUAL-MINUS-0) > | (:REWRITE FLOOR-TYPE-3 . 1) > | (:REWRITE FLOOR-TYPE-3 . 2) > | (:REWRITE FUNCTIONAL-COMMUTATIVITY-OF-MINUS-*-LEFT) > | (:REWRITE HOW-COULD-THIS-HAVE-BEEN-LEFT-OUT??) > | (:REWRITE INVERSE-OF-*) > | (:REWRITE INVERSE-OF-+-AS=0) > | (:REWRITE THIS-NEEDS-TO-BE-ADDED-TO-QUOTIENT-REMAINDER-LEMMAS) > | (:REWRITE UNICITY-OF-0) > | (:REWRITE ZERO-IS-ONLY-ZERO-DIVISOR) > | (:TYPE-PRESCRIPTION FLOOR) > | (:TYPE-PRESCRIPTION FLOOR-TYPE-3 . 1)) > | Time: 0.35 seconds (prove: 0.35, print: 0.00, other: 0.00) > | REMAINDER-IS-MOD > | > | Summary > | Form: ( DEFTHM MOD-CORRECT ...) > | Rules: ((:DEFINITION CTOS) > | (:DEFINITION CTOSP) > | (:DEFINITION DTOS) > | (:DEFINITION DTOSP) > | (:DEFINITION GOOD-INITIAL-REMAINDER-STATE) > | (:DEFINITION INTEGER-RANGE-P) > | (:DEFINITION LENGTH) > | (:DEFINITION MEMI) > | (:DEFINITION MOD) > | (:DEFINITION NOT) > | (:DEFINITION PROGC) > | (:DEFINITION PROGCP) > | (:DEFINITION REMCLOCK) > | (:DEFINITION TINY-STATEP) > | (:DEFINITION UNSIGNED-BYTE-P) > | (:EXECUTABLE-COUNTERPART <) > | (:EXECUTABLE-COUNTERPART EQUAL) > | (:EXECUTABLE-COUNTERPART EXPT) > | (:EXECUTABLE-COUNTERPART INTEGERP) > | (:EXECUTABLE-COUNTERPART NOT) > | (:EXECUTABLE-COUNTERPART PROGCP) > | (:EXECUTABLE-COUNTERPART UNSIGNED-BYTE-P) > | (:FAKE-RUNE-FOR-TYPE-SET NIL) > | (:FORWARD-CHAINING UNSIGNED-BYTE-P-FORWARD) > | (:REWRITE ARB-MEMORY) > | (:REWRITE COMMUTATIVITY-OF-*) > | (:REWRITE REMAINDER-IS-MOD) > | (:TYPE-PRESCRIPTION MEMP) > | (:TYPE-PRESCRIPTION PROGRAM-LOADED) > | (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P)) > | Time: 0.11 seconds (prove: 0.11, print: 0.00, other: 0.00) > | MOD-CORRECT > | [SGC off][GC for 6063 CONTIGUOUS-BLOCKS pages..(T=30).GC finished] > | [SGC on]Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/defstobj+.o > | start address -T 0x1394f000 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/defstobj+.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defthms.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defuns.o > | start address -T 0x11229000 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defuns.o > | start address -T 0x11a11710 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/list-defthms.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-lemmas.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-init.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/utilities.o > | start address -T 0x13ee2c80 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/data-structures/utilities.o > | start address -T 0x137c4000 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-init.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-theories.o > | start address -T 0x137caaa0 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/ihs-theories.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-definitions.o > | start address -T 0x13effc18 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-definitions.o > | start address -T 0x1171a000 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/logops-lemmas.o > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o > | start address -T 0x117d58d8 Finished loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/ihs/quotient-remainder-lemmas.o > | > | Summary > | Form: ( INCLUDE-BOOK "tiny" ...) > | Rules: NIL > | Time: 2.13 seconds (prove: 0.00, print: 0.00, other: 2.13) > | Compiling > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/t...@expansion.lsp. > | End of Pass 1. > | > | ;; Note: Tail-recursive call of COPY-TO-TINY-STATE-MEM was replaced by > iteration. > | ;; Note: Tail-recursive call of TINY was replaced by iteration. > | ;; Note: Tail-recursive call of LOAD-MEMORY-BLOCK was replaced by > iteration. > | ;; Note: Tail-recursive call of LOAD-MEMORY was replaced by iteration. > | ;; Note: Tail-recursive call of PROGRAM-LOADED was replaced by iteration. > | ;; Note: Tail-recursive call of REMAINDER-PROG-RESULT was replaced by > iteration. > | ;; Note: Tail-recursive call of MOD-LOOP-REPEAT-INDUCT was replaced by > iteration. > | ;; Note: Tail-recursive call of SUB1-ADD1-CDR was replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY was replaced > by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY-BLOCK was > replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::COPY-TO-TINY-STATE-MEM > was replaced by iteration.[SGC for 16 SYMBOL pages..(41709 > writable)..(T=8).GC finished] > | > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::TINY was replaced by > iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY-BLOCK was > replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::LOAD-MEMORY was replaced > by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::PROGRAM-LOADED was > replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::REMAINDER-PROG-RESULT was > replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::MOD-LOOP-REPEAT-INDUCT > was replaced by iteration. > | ;; Note: Tail-recursive call of ACL2_*1*_ACL2::SUB1-ADD1-CDR was > replaced by iteration. > | End of Pass 2. > | OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 > | Finished compiling > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.o. > | Loading > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.o > | > | Error: The assertion tp&~tp on line 181 of sfaslelf.c in function > relocate failed > | Fast links are on: do (si::use-fast-links nil) for debugging > | Error signalled by LOAD-COMPILED. > | Backtrace: funcall > system:top-level > eval > lp > certify-book-fn > > compile-certified-file > load-compiled > load > > system:universal-error-handler > system::break-level-for-acl2 > let* > UNLESS > | ACL2 !> > | Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP). > | > | ACL2> > > **CERTIFICATION FAILED** for > /build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib/tiny.lisp > make[5]: *** [tiny.cert] Error 1 > make[5]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib' > make[4]: *** [all] Error 2 > make[4]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic/tiny-fib' > make[3]: *** [top] Error 1 > make[3]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books/symbolic' > make[2]: *** [symbolic] Error 2 > make[2]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books' > Command exited with non-zero status 2 > 9577.27user 497.96system 2:48:27elapsed 99%CPU (0avgtext+0avgdata > 0maxresident)k > 1104inputs+922608outputs (0major+54693346minor)pagefaults 0swaps > make: *** [debian/test.log] Error 2 > dpkg-buildpackage: error: debian/rules build gave error exit status 2 > make[1]: *** [all] Error 2 > make[1]: Leaving directory > `/build/buildd-acl2_4.1-1-powerpc-PFTGT1/acl2-4.1/books' > ──────────────────────────────────────────────────────────────────────────────── > Build finished at 20100918-0201 > FAILED [dpkg-buildpackage died] > ──────────────────────────────────────────────────────────────────────────────── > Purging > /var/lib/schroot/mount/sid-powerpc-sbuild-699cced5-c852-43dd-80ce-58440e6b809c/build/buildd-acl2_4.1-1-powerpc-PFTGT1 > Not removing build depends: cloned chroot in use > ──────────────────────────────────────────────────────────────────────────────── > Finished at 20100918-0201 > Build needed 03:29:23, 521324k disc space
signature.asc
Description: Digital signature
