carstene1ns [1] filed a deletion request for cinnamon-dev [2]: Is a package with source from git, but there is already a corresponding (unmaintained!) cinnamon-git package. (same for most of this maintainer's packages) [1] https://aur.archlinux.org/account/carstene1ns/ [2] https://aur.archlinux.org/pkgbase/cinnamon-dev/