MarsSeed [1] filed a deletion request for monodevelop-bin [2]: Unneeded deprecated package for a release from 2019. MonoDevelop is dead, abandonware. The active revival fork project is called dotdevelop; there is already a -git package for it on AUR. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/monodevelop-bin/