Ubuntu
gnome-desktop3 package

  1. Bug #1510813
  2. Comment #5

Comment 5 for bug 1510813

Revision history for this message
Harry (harry33) wrote :

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