New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/pull/29541#issuecomment-801264298

Comment:
We should stick with their own repo, GitHub doesn't have patch releases nor 7.5.1...