Debian Bug report logs - #459060
acl2: FTBFS with dash: /bin/sh: time: not found

Toggle useless messages

Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Lucas Nussbaum <lucas@lucas-nussbaum.net>

To: submit@bugs.debian.org

Subject: acl2: FTBFS with dash: /bin/sh: time: not found

Date: Fri, 4 Jan 2008 11:51:08 +0100

Package: acl2
version: 3.3-1
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-dash-20080103 qa-ftbfs-dash

Hi,

During a rebuild of all packages in sid using /bin/dash as /bin/sh, your package failed to build.

Relevant part:

 > make[1]: Entering directory `/build/user/acl2-3.3/books'
 > Thu Jan  3 20:21:25 CET 2008
 > /bin/sh: time: not found
 > make[1]: *** [all] Error 127
 > make[1]: Leaving directory `/build/user/acl2-3.3/books'
 > tail: cannot open `books/certify-numbers.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/abs.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/binomial.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/equalities.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/factorial.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/idiv.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/inequalities.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/mod-gcd.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/natp-posp.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/rational-listp.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/rationals.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/sumlist.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/top-with-meta.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic/top.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/floor-mod/floor-mod-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/floor-mod/floor-mod.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/cancel-terms-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/cancel-terms-meta.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/collect-terms-meta.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/common-meta.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/expt-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/expt.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/integerp-meta.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/integerp.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/mini-theories.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/non-linear.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/numerator-and-denominator.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/post.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/pre.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/meta/top.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/basic-arithmetic-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/basic-arithmetic.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/expt-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/expt.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/inequalities.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/mini-theories.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/numerator-and-denominator-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/numerator-and-denominator.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/prefer-times.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-2/pass1/top.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/top.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/arithmetic-theory.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/banner.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/basic-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/basic.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/building-blocks.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/collect.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/common.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/default-hint.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/integerp-meta.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/integerp.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/mini-theories-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/mini-theories.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/normalize.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/numerator-and-denominator.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/remove-weak-inequalities.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/simplify-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/simplify.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/bind-free/top.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/extra/ext.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/extra/top-ext.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/floor-mod/floor-mod.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/floor-mod/mod-expt-fast.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/basic-arithmetic-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/basic-arithmetic.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/expt-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/expt.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/inequalities.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/mini-theories.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/non-linear.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/num-and-denom-helper.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/numerator-and-denominator.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/prefer-times.out' for reading: No such file or directory
 > tail: cannot open `books/arithmetic-3/pass1/top.out' for reading: No such file or directory
 > tail: cannot open `books/bdd/alu-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/bdd/alu.out' for reading: No such file or directory
 > tail: cannot open `books/bdd/bdd-primitives.out' for reading: No such file or directory
 > tail: cannot open `books/bdd/bool-ops.out' for reading: No such file or directory
 > tail: cannot open `books/bdd/cbf.out' for reading: No such file or directory
 > tail: cannot open `books/bdd/hamming.out' for reading: No such file or directory
 > tail: cannot open `books/bdd/pg-theory.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/basic-examples.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/bv-add-common.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/bv-add-tests.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/bv-add.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/equality.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-definitions.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/bv-smt-solver/bv-lib-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/bv-smt-solver/bv-lib.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/bv-smt-solver/redundancy-removal.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/bv-smt-solver/smt.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/bv-smt-solver/translation.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/clause-processors/sat-clause-processor.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/clause-processors/sym-str.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/check-output.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/convert-to-cnf.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/local-clause-simp.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/neq-implication.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/recognizer.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/sat-setup.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/sat.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/sexpr-sat-solver-const.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat/user-entry-data-structure.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat-tests/benchmark.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat-tests/sudoku.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat-tests/test-help.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat-tests/test-incremental.out' for reading: No such file or directory
 > tail: cannot open `books/clause-processors/SULFA/books/sat-tests/tutorial.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/apply-total-order.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/fairenv.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/final-theorems.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/initial-state.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/inv-persists.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/inv-sufficient.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/labels.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/lexicographic-pos.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/lexicographic.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/measures.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/pos-temp.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/programs.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/properties-of-sets.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/properties.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/records.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/stutter1-match.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/stutter2.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/bakery/variables.out' for reading: No such file or directory
 > tail: cannot open `books/concurrent-programs/german-protocol/german.out' for reading: No such file or directory
 > tail: cannot open `books/cowles/acl2-agp.out' for reading: No such file or directory
 > tail: cannot open `books/cowles/acl2-asg.out' for reading: No such file or directory
 > tail: cannot open `books/cowles/acl2-crg.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/alist-defthms.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/alist-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/alist-theory.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/array1.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/defalist.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/define-structures-package.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/define-u-package.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/deflist.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/list-defthms.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/list-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/list-theory.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/number-list-defthms.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/number-list-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/number-list-theory.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/set-defthms.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/set-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/set-theory.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/structures.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/utilities.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/memories/log2.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/memories/memory-impl.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/memories/memory.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/memories/memtree.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/memories/private.out' for reading: No such file or directory
 > tail: cannot open `books/data-structures/memories/timetest.out' for reading: No such file or directory
 > tail: cannot open `books/deduction/passmore/bewijs.out' for reading: No such file or directory
 > tail: cannot open `books/deduction/passmore/general.out' for reading: No such file or directory
 > tail: cannot open `books/deduction/passmore/paramod.out' for reading: No such file or directory
 > tail: cannot open `books/deduction/passmore/prover.out' for reading: No such file or directory
 > tail: cannot open `books/deduction/passmore/resolution.out' for reading: No such file or directory
 > tail: cannot open `books/deduction/passmore/unification.out' for reading: No such file or directory
 > tail: cannot open `books/deduction/passmore/weighting.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/basic.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/dag-unification-l.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/dag-unification-rules.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/dag-unification-st.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/dags.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/list-unification-rules.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/matching.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/subsumption-subst.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/subsumption.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/terms-as-dag.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/terms-dag-stobj.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/dag-unification/terms.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/defpun-exec/defpun-exec.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/fpst.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/run-fpst.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/graph/find-path1.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/graph/find-path2.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/graph/find-path3.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/graph/helpers.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/graph/linear-find-path.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/find-path/graph/solutions.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/ordinals/supporting-ordinals.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/misc/memos.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/misc/stobjsim.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/extraction.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/final-theorem.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/first-last.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/intermediate-program.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/intermediate-to-spec.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/load-extract.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/merge-intermediate.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/nth-update-nth.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/permutations.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/programs.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/sort-qs-properties.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/spec-properties.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/split-qs-properties.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/qsort/total-order.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/records/inline.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/records/records.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/other-apps/records/recordsim.out' for reading: No such file or directory
 > tail: cannot open `books/defexec/reflexive/reflexive.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/set-theory.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/total-ordering.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/computed-hints.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/fast.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/instance.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/map.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/membership.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/outer.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/primitives.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/quantify.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/set-order.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/sets.out' for reading: No such file or directory
 > tail: cannot open `books/finite-set-theory/osets/sort.out' for reading: No such file or directory
 > tail: cannot open `books/hints/basic-tests.out' for reading: No such file or directory
 > tail: cannot open `books/hints/consider-hint-tests.out' for reading: No such file or directory
 > tail: cannot open `books/hints/consider-hint.out' for reading: No such file or directory
 > tail: cannot open `books/hints/huet-lang-algorithm-tests.out' for reading: No such file or directory
 > tail: cannot open `books/hints/huet-lang-algorithm.out' for reading: No such file or directory
 > tail: cannot open `books/hints/merge-hint.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/@logops.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/ihs-definitions.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/ihs-init.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/ihs-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/ihs-theories.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/logops-definitions.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/logops-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/math-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/ihs/quotient-remainder-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/assert-check-include-1.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/assert-check-include.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/assert-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/assert-include.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/assert.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/basic-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/basic-pkg-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/basic-pkg.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/basic.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/defconst-fast-examples.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/defconst-fast.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/defrefine.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/defspec.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/dotimes.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/eval-check-tests.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/eval-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/eval-tests.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/eval.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/gen-defthm-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/gen-defthm.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/gen-defun-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/gen-defun.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/local-requires-skip-check-include.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/local-requires-skip-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/logical-tangent.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/macros-include.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/macros-skip-proofs-include.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/macros-skip-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/macros.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/nested-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/nested.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/portcullis-expansion-include.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/portcullis-expansion.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/proof-by-arith.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/read-from-file.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/stobj-test.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/test-case-check.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/test-case.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/bar.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/baruser.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-a1.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-a21.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-b1.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-b2.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-b3.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-c1.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-c2.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-d.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-e.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/foo-f.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/local-defaxiom-1.out' for reading: No such file or directory
 > tail: cannot open `books/make-event/embedded-defaxioms/local-defaxiom-2.out' for reading: No such file or directory
 > tail: cannot open `books/meta/meta-plus-equal.out' for reading: No such file or directory
 > tail: cannot open `books/meta/meta-plus-lessp.out' for reading: No such file or directory
 > tail: cannot open `books/meta/meta-times-equal.out' for reading: No such file or directory
 > tail: cannot open `books/meta/meta.out' for reading: No such file or directory
 > tail: cannot open `books/meta/pseudo-termp-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/meta/term-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/meta/term-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/misc/bash.out' for reading: No such file or directory
 > tail: cannot open `books/misc/beta-reduce.out' for reading: No such file or directory
 > tail: cannot open `books/misc/book-thms.out' for reading: No such file or directory
 > tail: cannot open `books/misc/computed-hint.out' for reading: No such file or directory
 > tail: cannot open `books/misc/csort.out' for reading: No such file or directory
 > tail: cannot open `books/misc/defmac.out' for reading: No such file or directory
 > tail: cannot open `books/misc/defopener.out' for reading: No such file or directory
 > tail: cannot open `books/misc/defp.out' for reading: No such file or directory
 > tail: cannot open `books/misc/defpun.out' for reading: No such file or directory
 > tail: cannot open `books/misc/dft-ex.out' for reading: No such file or directory
 > tail: cannot open `books/misc/dft.out' for reading: No such file or directory
 > tail: cannot open `books/misc/dump-events.out' for reading: No such file or directory
 > tail: cannot open `books/misc/expander.out' for reading: No such file or directory
 > tail: cannot open `books/misc/fibonacci.out' for reading: No such file or directory
 > tail: cannot open `books/misc/file-io.out' for reading: No such file or directory
 > tail: cannot open `books/misc/find-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/misc/goodstein.out' for reading: No such file or directory
 > tail: cannot open `books/misc/grcd.out' for reading: No such file or directory
 > tail: cannot open `books/misc/hacker.out' for reading: No such file or directory
 > tail: cannot open `books/misc/hanoi.out' for reading: No such file or directory
 > tail: cannot open `books/misc/hons-help.out' for reading: No such file or directory
 > tail: cannot open `books/misc/hons-help2.out' for reading: No such file or directory
 > tail: cannot open `books/misc/hons-tests.out' for reading: No such file or directory
 > tail: cannot open `books/misc/how-to-prove-thms.out' for reading: No such file or directory
 > tail: cannot open `books/misc/int-division.out' for reading: No such file or directory
 > tail: cannot open `books/misc/integer-type-set-test.out' for reading: No such file or directory
 > tail: cannot open `books/misc/meta-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/misc/mult.out' for reading: No such file or directory
 > tail: cannot open `books/misc/priorities.out' for reading: No such file or directory
 > tail: cannot open `books/misc/problem13.out' for reading: No such file or directory
 > tail: cannot open `books/misc/process-book-readme.out' for reading: No such file or directory
 > tail: cannot open `books/misc/qi.out' for reading: No such file or directory
 > tail: cannot open `books/misc/qi-correct.out' for reading: No such file or directory
 > tail: cannot open `books/misc/radix.out' for reading: No such file or directory
 > tail: cannot open `books/misc/records.out' for reading: No such file or directory
 > tail: cannot open `books/misc/records0.out' for reading: No such file or directory
 > tail: cannot open `books/misc/rtl-untranslate.out' for reading: No such file or directory
 > tail: cannot open `books/misc/simplify-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/misc/sin-cos.out' for reading: No such file or directory
 > tail: cannot open `books/misc/sort-symbols.out' for reading: No such file or directory
 > tail: cannot open `books/misc/sticky-disable.out' for reading: No such file or directory
 > tail: cannot open `books/misc/symbol-btree.out' for reading: No such file or directory
 > tail: cannot open `books/misc/total-order.out' for reading: No such file or directory
 > tail: cannot open `books/misc/transfinite.out' for reading: No such file or directory
 > tail: cannot open `books/misc/untranslate-patterns.out' for reading: No such file or directory
 > tail: cannot open `books/misc/misc2/defpun-exec-domain-example.out' for reading: No such file or directory
 > tail: cannot open `books/misc/misc2/misc.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/e0-ordinal.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/lexicographic-ordering.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/limits.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-addition.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-basic-thms.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-counter-examples.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-definitions.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-exponentiation.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-isomorphism.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-multiplication.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinal-total-order.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinals-without-arithmetic.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/ordinals.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/proof-of-well-foundedness.out' for reading: No such file or directory
 > tail: cannot open `books/ordinals/top-with-meta.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/algebra.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/batcher-sort.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/bitonic-sort.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/cla-adder.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/defpkg.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/gray-code.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/merge-sort.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/prefix-sum.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/simple.out' for reading: No such file or directory
 > tail: cannot open `books/powerlists/sort.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/c2i/c2i-partial.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/c2i/c2i-total.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/c2i/clock-to-inv.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/compose/compose-c-c-partial.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/compose/compose-c-c-total.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/i2c/i2c-partial.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/i2c/i2c-total.out' for reading: No such file or directory
 > tail: cannot open `books/proofstyles/i2c/inv-to-clock.out' for reading: No such file or directory
 > tail: cannot open `books/quadratic-reciprocity/eisenstein.out' for reading: No such file or directory
 > tail: cannot open `books/quadratic-reciprocity/euclid.out' for reading: No such file or directory
 > tail: cannot open `books/quadratic-reciprocity/euler.out' for reading: No such file or directory
 > tail: cannot open `books/quadratic-reciprocity/fermat.out' for reading: No such file or directory
 > tail: cannot open `books/quadratic-reciprocity/gauss.out' for reading: No such file or directory
 > tail: cannot open `books/quadratic-reciprocity/mersenne.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib1/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib1/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib1/brat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib1/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib1/reps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib1/round.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib1/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/brat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/fadd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/reps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/round.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/lib3/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/add.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/away.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/divsqrt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/floor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/fp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/logdefs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/loglemmas.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/logxor-def.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/logxor-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/merge.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/near.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/odd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/reps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/rewrite-theory.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/rnd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/sticky.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/x-2xx.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/fadd/add3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/fadd/lop1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/fadd/lop2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/fadd/lop3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/fadd/stick.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel1/support/fadd/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/arith2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/cg.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/common-factor-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/common-factor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/complex-rationalp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/denominator.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/even-odd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/even-odd2-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/even-odd2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/expo-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/expo.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/expt-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/extra-rules.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/fl-expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/fl-hacks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/fl-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/fl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/floor-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/floor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/fp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/fp2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/ground-zero.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/hacks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/induct.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/integerp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/inverted-factor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/mod-expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/mod-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/mod.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/negative-syntaxp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/nniq.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/numerator.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/power2p.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/predicate.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/product-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/product.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/rationalp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/unary-divide.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/arithmetic/x-2xx.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/bvecp-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/bvecp-raw-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/clocks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/fadd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/openers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/package-defs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/reps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/rom-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/round.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/rtl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/rtlarr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/simple-loop-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/simplify-model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/lib/util.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/add3-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/add3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/all-ones.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/ash.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/away-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/away.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/badguys.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bias-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bias.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bitn-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bits-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bits-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bits-trunc-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bits-trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bvecp-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bvecp-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bvecp-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/bvecp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/cat-def.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/cat-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/cat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/clocks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/decode-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/decode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/drnd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/encode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/ereps-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/ereps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/fadd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/fast-and.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/ground-zero.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/guards.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/ireps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/land-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/land.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lextra-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lextra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lior-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lnot-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lnot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/log-equal.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/log-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/log.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logand-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logand.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logeqv.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logior-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logior1-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logior1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lognot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logorc1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/logxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lop1-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lop1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lop2-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lop2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lop3-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lop3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lxor-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/lxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/merge.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/merge2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/mod4.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/mulcat-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/mulcat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/near+-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/near+.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/near-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/near.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/ocat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/oddr-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/oddr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/openers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/package-defs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/rewrite-theory.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/rnd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/rom-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/rtl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/rtlarr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/setbitn-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/setbitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/setbits-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/setbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/sgn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/shft.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/simple-loop-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/simplify-model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/stick-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/stick.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/sticky-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/sticky.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/sumbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/top1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/trunc-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/support/util.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/away.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/bias.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/bitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/bits-trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/brat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/bvecp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/cat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/decode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/ereps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/land.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/lextra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/lior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/lnot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/logior1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/lxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/mulcat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/near.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/setbitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/setbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/stick.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/sumbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel4/user/trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/arith2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/cg.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/common-factor-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/common-factor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/complex-rationalp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/denominator.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/even-odd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/even-odd2-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/even-odd2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/expo-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/expo.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/expt-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/extra-rules.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/fl-expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/fl-hacks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/fl-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/fl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/floor-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/floor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/fp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/fp2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/ground-zero.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/hacks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/induct.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/integerp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/inverted-factor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/mod-expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/mod-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/mod.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/negative-syntaxp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/nniq.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/numerator.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/power2p.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/predicate.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/product-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/product.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/rationalp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/unary-divide.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/arithmetic/x-2xx.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/add.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/bvecp-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/bvecp-raw-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/clocks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/log.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/openers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/package-defs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/reps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/rom-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/round.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/rtl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/rtlarr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/simple-loop-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/simplify-model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/lib/util.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/add3-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/add3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/all-ones.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/ash.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/away-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/away.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/badguys.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bias-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bias.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bitn-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bits-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bits-trunc-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bits-trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bvecp-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bvecp-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bvecp-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/bvecp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/cat-def.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/cat-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/cat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/clocks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/decode-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/decode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/drnd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/encode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/ereps-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/ereps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/fadd-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/fadd-extra0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/fadd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/fast-and.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/float-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/ground-zero.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/guards.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/ireps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/land.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/land0-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/land0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lextra-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lextra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lextra0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lior0-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lior0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lnot-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lnot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/log-equal.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/log-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/log.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logand-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logand.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logeqv.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logior-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logior1-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logior1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lognot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logorc1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/logxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lop1-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lop1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lop2-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lop2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lop3-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lop3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lxor0-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/lxor0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/merge.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/merge2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/mod4.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/mulcat-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/mulcat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/near+-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/near+.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/near-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/near.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/ocat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/oddr-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/oddr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/openers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/package-defs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/rewrite-theory.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/rnd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/rom-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/round-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/rtl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/rtlarr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/setbitn-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/setbitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/setbits-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/setbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/sgn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/shft.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/simple-loop-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/simplify-model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/stick-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/stick.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/sticky-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/sticky.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/sumbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/top1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/trunc-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/support/util.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/away.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/bias.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/bitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/bits-trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/brat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/bvecp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/cat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/decode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/ereps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/land.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/lextra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/lior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/lnot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/logior1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/lxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/mulcat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/near.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/setbitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/setbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/stick.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/sumbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel5/user/trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/arith2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/cg.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/common-factor-defuns.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/common-factor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/complex-rationalp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/denominator.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/even-odd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/even-odd2-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/even-odd2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/expo-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/expo.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/expt-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/extra-rules.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/fl-expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/fl-hacks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/fl-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/fl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/floor-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/floor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/fp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/fp2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/ground-zero.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/hacks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/induct.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/integerp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/inverted-factor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/mod-expt.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/mod-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/mod.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/negative-syntaxp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/nniq.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/numerator.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/power2p.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/predicate.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/product-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/product.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/rationalp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/unary-divide.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/arithmetic/x-2xx.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/add.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/bvecp-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/bvecp-raw-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/clocks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/log.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/mult.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/openers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/package-defs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/reps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/rom-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/round.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/rtl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/rtlarr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/simple-loop-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/simplify-model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/lib/util.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/add.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/bvecp-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/bvecp-raw-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/clocks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/log.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/mult.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/openers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/package-defs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/reps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/rom-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/round.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/rtl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/rtlarr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/simple-loop-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/simplify-model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1/util.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/arith-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/arith.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/basic-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/basic.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/float-extra2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/mult-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/mult.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/round-extra2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/lib1.delta1/round.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/add3-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/add3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/all-ones.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/arith-support-mult.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/ash.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/away-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/away.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/badguys.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bias-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bias.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bitn-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bits-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bits-trunc-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bits-trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bvecp-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bvecp-lemmas.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bvecp-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/bvecp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/cat-def.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/cat-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/cat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/clocks.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/decode-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/decode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/drnd-original.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/encode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/ereps-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/ereps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/fadd-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/fadd-extra0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/fadd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/fast-and.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/float-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/float.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/ground-zero.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/guards.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/ireps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/land.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/land0-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/land0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lextra-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lextra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lextra0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lior0-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lior0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lnot-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lnot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/log-equal.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/log-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/log.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logand-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logand.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logeqv.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logior-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logior1-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logior1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lognot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logorc1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/logxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lop1-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lop1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lop2-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lop2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lop3-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lop3.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lxor0-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/lxor0.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/merge.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/merge2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/mod4.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/mulcat-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/mulcat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/near+-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/near+.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/near-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/near.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/ocat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/oddr-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/oddr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/openers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/package-defs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/rewrite-theory.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/rnd.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/rom-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/round-extra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/round-extra2.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/rtl.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/rtlarr.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/setbitn-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/setbitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/setbits-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/setbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/sgn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/shft.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/simple-loop-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/simplify-model-helpers.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/stick-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/stick.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/sticky-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/sticky.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/sumbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/top1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/trunc-proofs.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/support/util.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/support/top/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/away.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/bias.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/bitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/bits-trunc.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/bits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/brat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/bvecp.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/cat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/decode.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/ereps.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/land.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/lextra.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/lior.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/lnot.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/logior1.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/lxor.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/mulcat.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/near.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/setbitn.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/setbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/stick.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/sumbits.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/top.out' for reading: No such file or directory
 > tail: cannot open `books/rtl/rel7/user/trunc.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/generic/assertions.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/generic/defsimulate.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/generic/factorial-jvm-correct.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/generic/measures.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/generic/partial-correctness.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/generic/tiny-fib-correct.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/generic/total-correctness.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/m5/demo.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/m5/m5.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/m5/utilities.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/tiny-fib/defstobj+.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/tiny-fib/fib-def.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/tiny-fib/tiny-rewrites.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/tiny-fib/tiny.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/tiny-triangle/tiny-triangle-correct.out' for reading: No such file or directory
 > tail: cannot open `books/symbolic/tiny-triangle/triangle-def.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap10/ac-example.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap10/adder.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap10/compiler.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap10/fact.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap10/insertion-sort.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap10/tree.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/compress.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/encap.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/finite-sets.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/how-many-soln1.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/how-many-soln2.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/mergesort.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/perm-append.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/perm.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/qsort.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/starters.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/summations-book.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/summations.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/tautology.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/xtr.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap11/xtr2.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap3/programs.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap4/solutions-logic-mode.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap4/solutions-program-mode.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap5/solutions.out' for reading: No such file or directory
 > tail: cannot open `books/textbook/chap6/selected-solutions.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/app.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/append.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/base10-digit-charp.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/close-input-channel.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/coerce.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/combine.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/consless-listp.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/explode-atom.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/explode-nonnegative-integer.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/file-measure.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/flatten.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/intern-in-package-of-symbol.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/list-fix.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/nat-listp.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/nthcdr-bytes.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/nthcdr.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/open-input-channel.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/open-input-channels.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/partition.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/peek-char.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/read-byte.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/read-char.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/read-file-bytes.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/read-file-characters.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/read-ints.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/read-object.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/read-utf8.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/repeat.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/revappend.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/reverse.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/sign-byte.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/signed-byte-listp.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/string-append.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/sum-list.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/take-bytes.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/take.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/uchar.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/unsigned-byte-listp.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/update-state.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/utf8-decode-string.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/utf8-decode.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/utf8-encode.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/utf8-table35.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/utf8-table36.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/utf8.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/z-listp.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/test-performance/tests.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/test-performance/timing.out' for reading: No such file or directory
 > tail: cannot open `books/unicode/test-performance/unicode.out' for reading: No such file or directory

The full build log is available from:
	http://people.debian.org/~lucas/logs/2008/01/03.dash/

Rumors say that Ubuntu is using dash as /bin/sh on their buildds, so a patch
might be available. Check <http://packages.qa.debian.org/acl2>, or
directly on launchpad: <https://launchpad.net/ubuntu/+source/acl2>.

A list of current common problems and possible solutions is available at 
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!

-- 
| Lucas Nussbaum
| lucas@lucas-nussbaum.net   http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr             GPG: 1024D/023B3F4F |

Message #10 received at 459060@bugs.debian.org (full text, mbox, reply):

From: Lucas Nussbaum <lucas@lucas-nussbaum.net>

To: 378149@bugs.debian.org, 373665@bugs.debian.org, 456508@bugs.debian.org, 459115@bugs.debian.org, 459156@bugs.debian.org, 459157@bugs.debian.org, 459158@bugs.debian.org, 459159@bugs.debian.org, 459160@bugs.debian.org, 459161@bugs.debian.org, 459162@bugs.debian.org, 459163@bugs.debian.org, 459164@bugs.debian.org, 459165@bugs.debian.org, 459166@bugs.debian.org, 459167@bugs.debian.org, 459169@bugs.debian.org, 459170@bugs.debian.org, 459172@bugs.debian.org, 459173@bugs.debian.org, 459174@bugs.debian.org, 459176@bugs.debian.org, 459179@bugs.debian.org, 459181@bugs.debian.org, 459182@bugs.debian.org, 459183@bugs.debian.org, 459187@bugs.debian.org, 459188@bugs.debian.org, 459189@bugs.debian.org, 459195@bugs.debian.org, 459197@bugs.debian.org, 444275@bugs.debian.org, 453473@bugs.debian.org, 455904@bugs.debian.org, 457575@bugs.debian.org, 457579@bugs.debian.org, 457680@bugs.debian.org, 459047@bugs.debian.org, 459048@bugs.debian.org, 459055@bugs.debian.org, 459064@bugs.debian.org, 459065@bugs.debian.org, 459067@bugs.debian.org, 459084@bugs.debian.org, 459085@bugs.debian.org, 459088@bugs.debian.org, 459095@bugs.debian.org, 459058@bugs.debian.org, 459059@bugs.debian.org, 459060@bugs.debian.org, 459062@bugs.debian.org, 459066@bugs.debian.org, 459068@bugs.debian.org, 459083@bugs.debian.org, 459092@bugs.debian.org, 459098@bugs.debian.org, 459099@bugs.debian.org, 459102@bugs.debian.org, 459104@bugs.debian.org, 459105@bugs.debian.org, 459109@bugs.debian.org, 459110@bugs.debian.org, 459111@bugs.debian.org, 459113@bugs.debian.org, 459117@bugs.debian.org, 459118@bugs.debian.org, 459120@bugs.debian.org, 459122@bugs.debian.org, 459123@bugs.debian.org, 459124@bugs.debian.org, 459125@bugs.debian.org, 459131@bugs.debian.org, 459133@bugs.debian.org, 459140@bugs.debian.org, 453014@bugs.debian.org, 453637@bugs.debian.org, 459108@bugs.debian.org, 382585@bugs.debian.org, 459155@bugs.debian.org, 459193@bugs.debian.org, 459194@bugs.debian.org, 459196@bugs.debian.org, 372272@bugs.debian.org, 437679@bugs.debian.org, 453263@bugs.debian.org, 455895@bugs.debian.org, 459052@bugs.debian.org, 459056@bugs.debian.org, 459100@bugs.debian.org, 459114@bugs.debian.org, 459116@bugs.debian.org, 459141@bugs.debian.org, 453046@bugs.debian.org, 457710@bugs.debian.org, 458084@bugs.debian.org, 372707@bugs.debian.org, 374004@bugs.debian.org, 374454@bugs.debian.org, 374533@bugs.debian.org, 374723@bugs.debian.org, 375394@bugs.debian.org, 375570@bugs.debian.org, 375633@bugs.debian.org, 378200@bugs.debian.org, 378201@bugs.debian.org, 378526@bugs.debian.org, 378528@bugs.debian.org, 378597@bugs.debian.org, 378598@bugs.debian.org, 379489@bugs.debian.org, 379575@bugs.debian.org, 379587@bugs.debian.org, 379621@bugs.debian.org, 379633@bugs.debian.org, 379712@bugs.debian.org, 381565@bugs.debian.org, 383427@bugs.debian.org, 383784@bugs.debian.org, 437914@bugs.debian.org, 459103@bugs.debian.org, 459168@bugs.debian.org, 459171@bugs.debian.org, 459175@bugs.debian.org, 459177@bugs.debian.org

Cc: 459178@bugs.debian.org, 459180@bugs.debian.org, 459184@bugs.debian.org, 459185@bugs.debian.org, 459186@bugs.debian.org, 459190@bugs.debian.org, 459191@bugs.debian.org, 459192@bugs.debian.org, 445783@bugs.debian.org, 453153@bugs.debian.org, 457438@bugs.debian.org, 459049@bugs.debian.org, 459050@bugs.debian.org, 459051@bugs.debian.org, 459053@bugs.debian.org, 459054@bugs.debian.org, 459057@bugs.debian.org, 459063@bugs.debian.org, 459082@bugs.debian.org, 459086@bugs.debian.org, 459087@bugs.debian.org, 459089@bugs.debian.org, 459091@bugs.debian.org, 459093@bugs.debian.org, 459096@bugs.debian.org, 459097@bugs.debian.org, 459101@bugs.debian.org, 459112@bugs.debian.org, 459119@bugs.debian.org, 459121@bugs.debian.org, 459126@bugs.debian.org, 459132@bugs.debian.org, 459137@bugs.debian.org, 459138@bugs.debian.org, 459139@bugs.debian.org, 459142@bugs.debian.org, 459143@bugs.debian.org, 459144@bugs.debian.org, 459145@bugs.debian.org, 315599@bugs.debian.org, 457437@bugs.debian.org, 459094@bugs.debian.org

Subject: Bug part of the "dash" release goal -- 0-day NMU rules apply

Date: Sun, 20 Jan 2008 23:12:56 +0100

[Message part 1 (text/plain, inline)]

Hi,

[ This mail is sent for clarification on all bugs about build problems
with dash ]

This bug is part of the "dash" release goal (see
http://release.debian.org/lenny/goals.txt). If you intend to fix this
bug yourself, please do so ASAP (and please indicate so in the bug log,
by tagging it "pending", for example). If you don't, someone will
probably take care of preparing an NMU (please note that 0-day NMU rules
apply for bugs part of a release goal).

If you want more information about dash as /bin/sh, you can read:
http://lists.debian.org/debian-release/2008/01/msg00189.html
https://wiki.ubuntu.com/DashAsBinSh

Thank you,
-- 
| Lucas Nussbaum
| lucas@lucas-nussbaum.net   http://www.lucas-nussbaum.net/ |
| jabber: lucas@nussbaum.fr             GPG: 1024D/023B3F4F |

[signature.asc (application/pgp-signature, inline)]

Message #15 received at 459060@bugs.debian.org (full text, mbox, reply):

From: Mert Dirik <mertdirik@gmail.com>

To: 459060@bugs.debian.org

Subject: Ubuntu patch

Date: Fri, 04 Apr 2008 17:39:34 +0300

[Message part 1 (text/plain, inline)]

tags + patch

Ubuntu has a patch for this.
(http://patches.ubuntu.com/a/acl2/acl2_3.3-1ubuntu1.patch)

[acl2-patch (text/plain, inline)]

--- acl2-3.3/debian/control	2008-04-04 17:37:41.000000000 +0300
+++ acl2-3.3.p/debian/control	2008-04-04 17:36:07.000000000 +0300
@@ -2,7 +2,7 @@
 Section: math
 Priority: optional
 Maintainer: Camm Maguire <camm@enhanced.com>
-Build-Depends: gcl ( >= 2.6.7-36 ), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs22 | emacsen, debhelper ( >= 4 ), texlive-latex-recommended, libxmu-dev, libxaw7-dev
+Build-Depends: gcl ( >= 2.6.7-36 ), libgmp3-dev, libncurses5-dev, libreadline5-dev | libreadline-dev, emacs22 | emacsen, debhelper ( >= 4 ), texlive-latex-recommended, libxmu-dev, libxaw7-dev, time
 Standards-Version: 3.7.2
 
 Package: acl2

Message #20 received at 459060-close@bugs.debian.org (full text, mbox, reply):

From: Peter Eisentraut <petere@debian.org>

To: 459060-close@bugs.debian.org

Subject: Bug#459060: fixed in acl2 3.3-1.1

Date: Sun, 06 Apr 2008 07:32:05 +0000

Source: acl2
Source-Version: 3.3-1.1

We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive:

acl2-books-certs_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-books-certs_3.3-1.1_all.deb
acl2-books-source_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-books-source_3.3-1.1_all.deb
acl2-books_3.3-1.1_i386.deb
  to pool/main/a/acl2/acl2-books_3.3-1.1_i386.deb
acl2-doc_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-doc_3.3-1.1_all.deb
acl2-emacs_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-emacs_3.3-1.1_all.deb
acl2-infix-source_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-infix-source_3.3-1.1_all.deb
acl2-infix_3.3-1.1_i386.deb
  to pool/main/a/acl2/acl2-infix_3.3-1.1_i386.deb
acl2-source_3.3-1.1_all.deb
  to pool/main/a/acl2/acl2-source_3.3-1.1_all.deb
acl2_3.3-1.1.diff.gz
  to pool/main/a/acl2/acl2_3.3-1.1.diff.gz
acl2_3.3-1.1.dsc
  to pool/main/a/acl2/acl2_3.3-1.1.dsc
acl2_3.3-1.1_i386.deb
  to pool/main/a/acl2/acl2_3.3-1.1_i386.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 459060@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Peter Eisentraut <petere@debian.org> (supplier of updated acl2 package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Sat, 05 Apr 2008 18:49:49 +0200
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 3.3-1.1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Peter Eisentraut <petere@debian.org>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
 acl2-doc   - A Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 459060
Changes: 
 acl2 (3.3-1.1) unstable; urgency=low
 .
   * Non-maintainer upload.
   * Build depend on time, so that it works with shells other than bash
     (Closes: #459060).
Files: 
 1f7c6956b83a7dde046bc8507a52b04b 821 math optional acl2_3.3-1.1.dsc
 3027c1c5fc4dbd0718f29dad6f15bf6d 13594 math optional acl2_3.3-1.1.diff.gz
 2e87cacfeea90f850dafae6192f5e2f6 2486188 math optional acl2-source_3.3-1.1_all.deb
 7c314dd3700ab383fd0db411f030c7e4 56018 math optional acl2-emacs_3.3-1.1_all.deb
 1ea4bfb5c0a7f4bc079f7767ff312f55 87382 math optional acl2-infix-source_3.3-1.1_all.deb
 198e00337ba417ecf54289471e324455 2558702 math optional acl2-books-source_3.3-1.1_all.deb
 249e79d9ce2bc47fc6d6b664c95b025e 1249156 math optional acl2-books-certs_3.3-1.1_all.deb
 83184f3a52b4765e3717f18e8ef45050 2262244 doc optional acl2-doc_3.3-1.1_all.deb
 b6c02aab69ec70329db2d2fd2c27f5f5 16902202 math optional acl2_3.3-1.1_i386.deb
 fda28adca4fc00c6c6ff9aa4554fdfbd 171360 math optional acl2-infix_3.3-1.1_i386.deb
 bc16456a0cf3448a349381b4d1c5bd13 4919094 math optional acl2-books_3.3-1.1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFH+HeZTTx8oVVPtMYRArO7AKC5etilRlx/++tBmYHYGxu5klXdbQCfQH3U
RozdNNbsc92hyoX2ehnvUq4=
=V9lS
-----END PGP SIGNATURE-----

Send a report that this bug log contains spam.