New comment by mhmdanas on void-packages repository https://github.com/void-linux/void-packages/pull/42947#issuecomment-1483356486 Comment: Thanks for the heads up. The current distfile seems to spuriously fail to fetch with 404's on the CI, which is weird. I'll try your URL and see if it works.