[Bug 185102] Re: acl2 3.3-1 FTBFS

2008-04-28 Thread Bug Watch Updater
** Changed in: acl2 (Debian) Status: New = 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 subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com

[Bug 185102] Re: acl2 3.3-1 FTBFS

2008-02-16 Thread Launchpad Bug Tracker
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]

[Bug 185102] Re: acl2 3.3-1 FTBFS

2008-02-08 Thread William Grant
** Changed in: acl2 (Ubuntu) Importance: Undecided = High Status: New = Triaged -- 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

[Bug 185102] Re: acl2 3.3-1 FTBFS

2008-01-23 Thread Bug Watch Updater
** Changed in: acl2 (Debian) Status: Unknown = New -- 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

[Bug 185102] Re: acl2 3.3-1 FTBFS

2008-01-22 Thread nxvl
** Changed in: acl2 (Ubuntu) Assignee: Nicolas Valcárcel (nxvl) (nvalcarcel) = (unassigned) -- 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