The current stretch grid pulls mono from apt.wikimedia.org (which mirrors it from download.mono-project.com). Currently that means Mono 5.12.
For buster we need to either create a similar mirror or update the puppetization to not install a custom repository for that. Buster main Debian repositories have Mono 5.18.