Tim, I suppose you have also tried to install the gnome-desktop3 (3.18.0-0ubuntu1~wily2) from Gnome3 Staging PPA. Those packages are installable and not in contradiction with libgnome-desktop-3-10. I use that PPA and all is well with the gnome-desktop 3.12. Also mutter has been built against libgnome-desktop-3-12 there.
To disable proposed is not a solution. I know very well what I am doing. Plus, the gnome-desktop (3.18.1-1ubuntu1) is not in proposed yet. It is still marked as "new" in here: https://launchpad.net/ubuntu/+source/gnome-desktop3/3.18.1-1ubuntu1 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1510813 Title: Update to 3.18.1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-desktop3/+bug/1510813/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
