There is a new pull request by youngjinpark20 against master on the void-packages repository

https://github.com/youngjinpark20/void-packages stack
https://github.com/void-linux/void-packages/pull/12334

stack: add gmp-devel dependency
closes #11481

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