Thanks for the follow-up. Indeed the build history at https://buildd.debian.org/status/logs.php?pkg=mariadb&arch=alpha shows that last two builds passed.