doctorzeus [1] filed a deletion request for monodevelop-git [2]: Package is the same source with stable build as monodevelop-stable and does not look like it is maintained anymore. [1] https://aur.archlinux.org/account/doctorzeus/ [2] https://aur.archlinux.org/pkgbase/monodevelop-git/