Package: mariadb-server-10.0

"mariadb-server-10.0" package binaries on Debian:

/usr/bin/aria_chk /usr/bin/aria_dump_log /usr/bin/aria_ftdump /usr/bin/aria_pack /usr/bin/aria_read_log /usr/bin/msql2mysql /usr/bin/myisamchk /usr/bin/myisam_ftdump /usr/bin/myisamlog /usr/bin/myisampack /usr/bin/my_print_defaults /usr/bin/mysqlbinlog /usr/bin/mysql_convert_table_format /usr/bin/mysqld_multi /usr/bin/mysqld_safe /usr/bin/mysqlhotcopy /usr/bin/mysql_install_db /usr/bin/mysql_plugin /usr/bin/mysql_secure_installation /usr/bin/mysql_setpermission /usr/bin/mysql_tzinfo_to_sql /usr/bin/mysql_upgrade /usr/bin/mysql_zap /usr/bin/perror /usr/bin/replace /usr/bin/resolveip /usr/bin/resolve_stack_dump /usr/bin/tokuftdump

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