[debian-mysql] virtual-mysql-server-core vs mysql-server-core

[Lars Tangvald]

Hi,

In the MySQL 5.5 packaging, mysql-server-core-5.5 provides mysql-server-core and virtual-mysql-server-core.
In the MySQL 5.6 packaging, it only provides virtual-mysql-server-core.

The issue is that the amarok package has a build-dependency on «mysql-server-core-5.6 | mysql-server-core», and we want to make it compatible with the 5.7 package.
(https://launchpad.net/ubuntu/xenial/+source/amarok)

This can either be done by having mysql-server-core-5.7 provide mysql-server-core or changing the amarok build-dep to «mysql-server-core-5.6 | virtual-mysql-server-core».
I've tested both with our current 5.7 packaging and they work as far as that package is concerned, with mysql-server-core-5.7.
Based on https://wiki.debian.org/Teams/MySQL/virtual-mysql-server it seems what we want is the latter option, but I have no idea how well this package will work with MariaDB.

Do you have any ideas on this?

--
Lars