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