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 Desktop Packages, which is subscribed to gnome-desktop3 in Ubuntu. https://bugs.launchpad.net/bugs/1510813 Title: Update to 3.18.1 Status in gnome-desktop3 package in Ubuntu: Fix Committed Bug description: Please merge 3.18.1 from debian Debdiff attached To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-desktop3/+bug/1510813/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp