There is an updated pull request by smorimoto against master on the void-packages repository

https://github.com/smorimoto/void-packages coq-8.12.1
https://github.com/void-linux/void-packages/pull/26431

coq: update to 8.12.1


A patch file from https://github.com/void-linux/void-packages/pull/26431.patch is attached