Mariadb 10.1 add-on installation broken

The TravisCI addon of Mariadb 10.1 is broken. This was working a few days ago.

e[0Ke[33;1mInstalling MariaDB version 10.1e[0m
Executing: /tmp/tmp.HUMSHNtSaR/gpg.1.sh --recv-keys
–keyserver
hkp://keyserver.ubuntu.com:80
0xf1656f24c74cd1d8
gpg: requesting key C74CD1D8 from hkp server keyserver.ubuntu.com
gpg: key C74CD1D8: public key “MariaDB Signing Key signing-key@mariadb.org” imported
gpg: Total number processed: 1
gpg: imported: 1 (RSA: 1)
travis_apt_get_update PACKAGES=‘mariadb-server mariadb-server-10.1’
if [[ (lsb_release -cs) = ‘precise’ ]]; then PACKAGES="{PACKAGES} libmariadbclient-dev"; fi travis_time:start:0f935ff1 e[0K sudo apt-get install -y -o Dpkg::Options::=’–force-confnew’ $PACKAGES
Reading package lists…
Building dependency tree…
Reading state information…
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:
mariadb-server-10.1 : Depends: mariadb-client-10.1 (>= 10.1.40+maria-1~xenial) but it is not going to be installed
Depends: mariadb-server-core-10.1 (>= 10.1.40+maria-1~xenial) but it is not going to be installed
E: Unable to correct problems, you have held broken packages.
travis_time:end:0f935ff1:start=1564138276119804752,finish=1564138276821181952,duration=701377200
e[0Ke[33;1mStarting MariaDB v10.1e[0m
travis_time:start:0e75f190
e[0K$ sudo systemctl start mysql
Job for mysql.service failed because the control process exited with error code. See “systemctl status mysql.service” and “journalctl -xe” for details.
travis_time:end:0e75f190:start=1564138276827482690,finish=1564138276875760547,duration=48277857
e[0K$ mysql --version

Please link to the build and a previous successful build.

I can reproduce the issue.

This is a failing build with MariaDB 10.1: https://travis-ci.com/PowerKiKi/mqueue/builds/125514256#L187
And this is a successful build with MariaDB 10.3: https://travis-ci.com/PowerKiKi/mqueue/builds/125780415

Looks like the apt package dependencies are different between versions 10.1 and 10.3.

From what I can see from http://nyc2.mirrors.digitalocean.com/mariadb/repo/10.3/ubuntu/dists/xenial/main/binary-amd64/Packages, installing mariadb-server package is useless and is causing the installation error.
“This is an empty package that depends on the current “best” version of
mariadb-server”
.
So if you are installing it, you won’t be able to install anything but that “best” version at the same time.