Apt-get veut supprimer MariaDB sur Debian Wheezy

J'ai configuré mon serveur pour utiliser MariaDB et j'ai utilisé les instructions d'installation sur la page Web. Cela a très bien fonctionné. Maintenant, si je veux dist-upgrade , apt-get veut remplacer MariaDB par 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 

Pourquoi l'apt-get veut-il faire cela? Comment puis-je arrêter l'apt-get de faire?

Malheureusement, c'est un problème connu, avec un rapport de bug déjà déposé: voir ici . Le conflit survient parce que mysql et mariadb utilisent des versions contradictoires de la bibliothèque libmysqlclient18 .

La solution rapide est de donner à mariadb une priorité plus élevée que mysql, je l'ai fait comme ceci:

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

(Ceci est pour mon miroir, bien sûr … Vous devrez ajuster la commande ci-dessus à votre miroir).

Je suis d'accord qu'il devrait être fixé en amont, mais en attendant …