mysql-server was replaced by mariadb-server in centos (and is available in fedora)