apt-get quer remover MariaDB no Debian Wheezy

Configurei meu servidor para usar o MariaDB e usei as instruções de instalação na página da web. Funcionou muito bem. Agora, se eu quiser dist-upgrade, o apt-get quer substituir o MariaDB pelo MySQL:

The following packages will be REMOVED:
  libmariadbclient18 mariadb-client-5.5 mariadb-client-core-5.5 mariadb-server mariadb-server-5.5 mariadb-server-core-5.5
...
The following packages will be upgraded:
  libmysqlclient18 mysql-common

Por que o apt-get quer fazer isso? Como posso parar o apt-get de fazer isso?

Infelizmente, este é um problema conhecido, com um relatório de bug já arquivado: Veja aqui . O conflito surge porque o mysql e o mariadb usam versões conflitantes da biblioteca libmysqlclient18 .

A solução rápida é dar ao mariadb uma prioridade maior que o mysql, eu fiz assim:

 echo -e "Package: libmysqlclient18\nPin: origin mirror2.hs-esslingen.de\nPin-Priority: 1000" > /etc/apt/preferences.d/mariadb-mysqlclient18

(Isto é para o meu espelho, claro ... Você terá que ajustar o comando acima para o seu espelho).

Eu concordo que deve ser fixo a montante, mas enquanto isso ...