Public bug reported: Binary package hint: acl2
acl2 FTBFS on: > 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/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 ** Affects: acl2 (Ubuntu) Importance: Undecided Assignee: Nicolas Valcárcel (nxvl) (nvalcarcel) Status: New ** Affects: acl2 (Debian) Importance: Unknown Status: Unknown ** Changed in: acl2 (Ubuntu) Assignee: (unassigned) => Nicolas Valcárcel (nxvl) (nvalcarcel) ** Bug watch added: Debian Bug tracker #459060 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=459060 ** Also affects: acl2 (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=459060 Importance: Unknown Status: Unknown -- acl2 3.3-1 FTBFS https://bugs.launchpad.net/bugs/185102 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs