There is a new pull request by fingolfin against master on the void-packages repository https://github.com/fingolfin/void-packages patch-1 https://github.com/void-linux/void-packages/pull/40208 Update gap to 4.12.1 #### Testing the changes - I tested the changes in this PR: **NO** CC @tornaria A patch file from https://github.com/void-linux/void-packages/pull/40208.patch is attached