https://bugzilla.redhat.com/show_bug.cgi?id=824703
--- Comment #20 from Jens Petersen petersen@redhat.com --- The F-18 Branched report reports this dependency breakage:
""" [gnome-shell-theme-selene] gnome-shell-theme-selene-3.4.0-5.fc18.noarch requires gnome-shell-extensions-user-theme """
It seems for f18 gnome-shell-extensions-user-theme was renamed to gnome-shell-extension-user-theme. F17 looks ok.