There is an updated pull request by Aloz1 against master on the void-packages repository https://github.com/Aloz1/void-packages yosys-0.47 https://github.com/void-linux/void-packages/pull/52979 yosys: update to 0.47. #### Testing the changes - I tested the changes in this PR: **briefly** - Installed locally, tested that yosys reports new version. #### Local build testing - I built this PR locally for my native architecture, (x86_64-glibc) A patch file from https://github.com/void-linux/void-packages/pull/52979.patch is attached