OK, got this solved on one server. Seems the index files are pointing to non-existant files. So clear out the old indexes, and re-run apt update
rm /var/lib/apt/lists/dlm.mariadb.com*
apt update
apt upgrade
And suddenly mariadb-server doesn’t need to upgrade any more.