There's a closed pull request on the void-packages repository yosys: update to 0.17. https://github.com/void-linux/void-packages/pull/37089 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-glibc`