MariaDB/mariadb-10.2.12/bintar-linux-x86/