python312Packages.yosys 0.38 -> 0.40 https://github.com/YosysHQ/yosys/releases
attrpath: python312Packages.yosys
isn't the default python version