Package: mariadb-client-core-10.0

"mariadb-client-core-10.0" package binaries on Debian:

/usr/bin/mysqlcheck /usr/bin/mysql

You may install this package on Debian with apt-get install mariadb-client-core-10.0