architecture: amd64 component: main package: yosys priority: optional section: electronics srcpkg_name: yosys srcpkg_version: 0.23-6 version: 0.23-6