Comment 4 for bug 1579708

I have my machine installed with MariaDB 10. Just booted and saw "There was a problem with mysql 5.7...."

Weird, I don't have mysql-server 5.7 installed. Maybe some half-configuration lying around...?

andy@andy-virtual-machine:~$ sudo apt policy mariadb-server
mariadb-server:
  Installed: 10.0.28-0ubuntu0.16.04.1
  Candidate: 10.0.28-0ubuntu0.16.04.1
  Version table:
 *** 10.0.28-0ubuntu0.16.04.1 500
...

andy@andy-virtual-machine:~$ sudo apt policy mysql-server
mysql-server:
  Installed: (none)
  Candidate: 5.7.17-0ubuntu0.16.04.1
  Version table:
     5.7.17-0ubuntu0.16.04.1 500
...