mar04 [1] filed a deletion request for gnome-shell-theme-elementary [2]: Dead upstream, won't work with any recent Gnome. [1] https://aur.archlinux.org/account/mar04/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-theme-elementary/