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

gmplib: Change mirror as the main one is broken for now
https://github.com/void-linux/void-packages/pull/41328

Description:
#### Testing the changes
- I tested the changes in this PR: **YES**

#### Local build testing
- I built this PR locally for my native architecture, x86_64