How (if at all) can I install MariaDB 10.2 on Raspbian Stretch? I'm using the November 2017 version of Stretch Lite.
I found some instructions on how to install on Debian 9 (which I realise isn't the same thing) here: https://downloads.mariadb.org/mariadb/repositories/#mirror=coreix&distro=Debian&distro_release=stretch--stretch&version=10.2
But they didn't work. I still end up with v10.1.
Does anybody know how I can install 10.2?