Не требуется PPA.
У официального хранилища Ubuntu есть все, что вам нужно.
В официальном репозитории имеется руководство по разработке Ubuntu Mono.
Но это более старая статья. Поэтому указанная здесь команда должна быть изменена следующим образом:
sudo apt-get install mono-mcs libgtk2.0-cil libgtksourceview2-2.0-cil monodevelop monodoc-base mono-tools-gui mono-complete