Primeiro de tudo.
Não misture repositórios diferentes.
Os pacotes Ubuntu e Debian possuem diferenças na maneira como são construídos. Você pode ter resultados inesperados se não souber o que está fazendo. A melhor maneira de instalar esses pacotes é:
- Esperando que o Ubuntu acompanhe o upstream.
- Usando o PPA mono do Ubuntu.
- Chroot ou crie uma máquina virtual com o Debian
- Construa a partir de fontes.
Esses são os métodos recomendados para fazer as coisas. Se você quiser mexer com o seu sistema, faça isso, mas não argumente que não dissemos se algo está errado. Na verdade, a Lei de Murphy diz que algo vai dar errado.