ppa из первого ответа
ppa:keks9n/monodevelop-latest
кажется устаревшим.
Если вы хотите использовать последнюю версию (4.2.2+) с последней версией и и так далее, я предлагаю использовать этот новый ppa:
sudo add-apt-repository ppa:ermshiperete/monodevelop
sudo apt-get update
sudo apt-get install monodevelop-current
. После этого у вас будет установлен monodevelop в / opt / monodevelop. Для запуска IDE используйте следующий скрипт:
/opt/monodevelop/bin/monodevelop-launcher.sh