There's a merged pull request on the void-packages repository

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

Description: