New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/20913#issuecomment-612623720

Comment:
I propose to wait until that mirror catched up, then switch to it.