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 :(
