All green! :-) See [1]. Thank you so much for the push.
I guess that the second half of archs in [1] are not officially supported and it's not a big deal to have some failures on them, right? Best, have a nice weekend. JL [1] https://buildd.debian.org/status/package.php?p=mrpt
