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

stack: add gmp-devel dependency
https://github.com/void-linux/void-packages/pull/12334
Description: closes #11481