New comment by leahneukirchen on void-packages repository https://github.com/void-linux/void-packages/pull/46951#issuecomment-1801797394 Comment: pre_patch is okay too. we use diffs as distfiles in other packages as well (I think you should use the compressed format if one is available, but if there is none, well.)