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