Isso ajudaria?
https://downloads.mariadb.org/
https://downloads.mariadb.org/mariadb/10.1.20/
Para o Ubuntu, aqui está um link melhor. Pode ser seguro pular #mirror = ...
https://downloads.mariadb.org/mariadb/repositories/#mirror=jaleco
Ainda não consegui resolver este aqui.
(Veja Ubuntu 16.04 MariaDB 10.1 instalação em Retrograde: D )