mherzberg [1] filed a deletion request for mariadb-10.3 [2]: Hi, I think these four packages can be safely deleted now. They were useful while MariaDB from the official repository was stuck at 10.1. Meanwhile, it has caught up with upstream. Thanks, M.
[1] https://aur.archlinux.org/account/mherzberg/ [2] https://aur.archlinux.org/pkgbase/mariadb-10.3/
