ayekat [1] filed a deletion request for epfl-menu [2]: It's a git package (epfl-menu-git has been created for this purpose). [1] https://aur.archlinux.org/account/ayekat/ [2] https://aur.archlinux.org/pkgbase/epfl-menu/