hmm, no we don't need that at all, the dependency is or'ed. we just can remote the old binary packages.
** Changed in: ufc (Ubuntu) Status: New => Won't Fix ** Changed in: dolfin (Ubuntu) Status: New => Won't Fix -- FFe: sync ufc and dolfin from unstable https://bugs.launchpad.net/bugs/648773 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