realex [1] filed a deletion request for cinnamon-menus-dev [2]: substitution of "cinnamon-menus-git" [1] https://aur.archlinux.org/account/realex/ [2] https://aur.archlinux.org/pkgbase/cinnamon-menus-dev/