New comment by xelxebar on void-packages repository

https://github.com/void-linux/void-packages/pull/15721#issuecomment-545289375

Comment:
Oh boy. It looks like upstream's url to the source is getting ninja edited.
The proofs database is packaged together with the verifier, so I assume that upstream is retarring the source with updated databases while the verifier itself remains unchanged. Hence, the public version number and url remain the same, but the actual tar these point to is fluid.