Added alternatives to mysql-server, namely mysql-server-VERSION, mariadb-server, etc.