Respuestas:
Puede buscar Punch en Launchpad:
https://launchpad.net/ubuntu/+ppas?name_filter=monodevelop
Los primeros que hay le dan la opción de elegir entre software estable, beta y de última generación.
Incluso si comprende los riesgos inherentes a la ejecución de software inédito, tenga en cuenta que estos PPA son mantenidos principalmente por individuos y que está instalando software de estas personas. Deberías preguntarte a ti mismo:
No digo que todos los PPA sean malos o incorrectos, solo tenga en cuenta lo que está haciendo.
http://www.mono-project.com/docs/getting-started/install/linux/#debian-ubuntu-and-derivatives
Debian, Ubuntu y derivados Agregue la clave de firma GPG Mono Project (si no usa sudo, asegúrese de cambiar a root):
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
A continuación, agregue el repositorio de paquetes (si no usa sudo, asegúrese de cambiar a root):
echo "deb http://download.mono-project.com/repo/debian wheezy main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list
Actualice su caché de paquetes si es necesario (es decir, ejecute apt-get update) y ejecute una actualización de paquete para actualizar los paquetes existentes a la última versión disponible. Luego instale Mono como se describe en la sección Uso.
Nota: Si bien el paquete APT está construido contra Debian Wheezy, es compatible con varios derivados de Debian (incluido Ubuntu), lo que significa que puede usar el mismo repositorio en todas estas distribuciones.
Hay un ppa para Mono 4.x https://launchpad.net/~keks9n/+archive/monodevelop-latest
sudo add-apt-repository ppa: keks9n / monodevelop-latest
apt-get update
apt-get install mono-complete
Esto debería funcionar.
Además de las otras respuestas, se encuentra https://launchpad.net/~directhex/+archive/monoxide, que "mantiene el equipo oficial Debian / Ubuntu Mono".