It seems obvious that gnome-shell 3.2.x should depend on libgnome-desktop-3-2, but that's not the case...