Siga as instruções no MariaDB site . Acabei encontrando a solução usando "xenial", mas suponho que funcionaria com "artful" também.
O problema é que quando você executa sudo apt install mariadb-server
, a versão "bionic" é baixada, o que é atualmente 10.1. Você deve executar sudo apt install mariadb-server-10.2
.
Após instalar o 10.1, executar sudo apt install mariadb-server-10.2
irá extrair a versão do seu repositório customizado e desinstalar todos os arquivos mariadb-server 10.1 que não são dependências.