eu uso o mint, estalei monodevelop pela central de aplicativos. o ubuntu fica muito lento
Tenta instalar seguindo as instruções do site do MonoDevelop. Consegui assim.
eu uso o mint 20 que é baseado no ubuntu 10, no monodevelop as versões disponíveis são para distros baseadas no ubuntu 18,16 e 14 :(
não queria mas acho que vou ter que compilar pelo github
