New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/50295#issuecomment-2168320602 Comment: Updated gap from 4.13.0 to 4.13.1, no other change in this PR.