FabioLolix [1] filed a deletion request for monodevelop-stable [2]: monodevelop was already no more developed for Linux for a while and the github repository have been archived on 4 Oct 2021. [1] https://aur.archlinux.org/account/FabioLolix/ [2] https://aur.archlinux.org/pkgbase/monodevelop-stable/