It is solved in Jaunty 9.04 amd64, all acl2 packages are consistente with respect to dependency. Thanks for following this bug. Best regards Elias Tahhan
On Fri, Jul 17, 2009 at 9:36 AM, Pedro Villavicencio <pe...@ubuntu.com>wrote: > Thank you for taking the time to report this bug and helping to make > Ubuntu better. You reported this bug a while ago and there hasn't been > any activity in it recently. We were wondering is this still an issue > for you? May you please try the same with Jaunty and comment back? > Thanks in advance. > > ** Changed in: synaptic (Ubuntu) > Status: New => Incomplete > > -- > acl2-books broken package ubuntu 8.04 amd64 > https://bugs.launchpad.net/bugs/240151 > You received this bug notification because you are a direct subscriber > of the bug. > -- acl2-books broken package ubuntu 8.04 amd64 https://bugs.launchpad.net/bugs/240151 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 https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
