Don't think that they support MariaDB and provide such info :(
I think they support MariaDB... though I don't know for sure. I know cPanel supports MariaDB and IPB probably is in line with cPanel since a lot of people use it. I could totally understand if the db was an obscure one.