marcio [1] filed a deletion request for gnome-shell-40alfa [2]: There is no need of this package, gnome-shell already is on gnome- unstable repo. And the name is very outdated. [1] https://aur.archlinux.org/account/marcio/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-40alfa/