IIRC typing `apt install mysql-server` on Debian > Stretch will install mariadb by default. default-mysql-server on Debian shows mariadb as a dependency: Not sure; shortly after the mariadb split ...