Scimmia [1] filed a deletion request for monodevelop-stable [2]: Duplicate of monodevelop in Extra [1] https://aur.archlinux.org/account/Scimmia/ [2] https://aur.archlinux.org/pkgbase/monodevelop-stable/