Parece que houve um problema com o repositório. Agora, depois de uma semana, isso é resolvido sem que eu faça nada de novo.
Acabei de instalar o Ubuntu 14.04 (trusty) para dar um teste, já que preciso usar o monodevelop. Também decidi instalar isso também. Anteriormente, eu havia instalado o monodevelop compilando-o do zero no meu 12.04 com tanto esforço. E desta vez eu pensei que seria legal se eu pudesse fazer isso da maneira mais fácil, PPA.
Então eu adicionei ppa: ermshiperete / monodevelop e tentei:
$ sudo apt-get install monodevelop-current
Reading package lists... Done
Building dependency tree
Reading state information... Done
Some packages could not be installed. This may mean that you have
requested an impossible situation or if you are using the unstable
distribution that some required packages have not yet been created
or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
monodevelop-current : Depends: monodevelop-4.0 (= 4.2.2-1) but it is not going to be installed
E: Unable to correct problems, you have held broken packages.
Sou relativamente novo em PPAs, por isso não tenho certeza se estou fazendo algo errado ou há um problema com o monodevelop + 14.04?
Parece que houve um problema com o repositório. Agora, depois de uma semana, isso é resolvido sem que eu faça nada de novo.