FabioLolix [1] filed a deletion request for monodevelop-bin [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-bin/