This bug was fixed in the package acl2 - 3.3-1ubuntu1 --------------- acl2 (3.3-1ubuntu1) hardy; urgency=low
* debian/control: + Add time to Build-Depends (fixes FTBFS, LP: #185102). + Modify Maintainer value to match DebianMaintainerField spec. -- Michael Bienia <[EMAIL PROTECTED]> Sun, 17 Feb 2008 00:01:22 +0100 ** Changed in: acl2 (Ubuntu) Status: Triaged => Fix Released -- 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