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

gap: update to 4.12.2
https://github.com/void-linux/void-packages/pull/41572

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

CC @tornaria