MariaDB 5.5 включен в 14.04, чтобы установить его, вы можете сделать:
sudo apt-get install mariadb-server
Альтернативой было бы получить его от MariaDB следуя этим инструкциям.