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/
