tomaszgasior [1] filed a deletion request for gnome-main-menu [2]: Please, remove this package. MATE team do not maintain this panel applet. [1] https://aur.archlinux.org/account/tomaszgasior/ [2] https://aur.archlinux.org/pkgbase/gnome-main-menu/