Package gnome-shell-extension-workspacesmenu in Fedora 18 has been retired by fab To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/gnome-shell-extension-workspacesmenu