architecture: all component: main package: yosys-doc priority: optional section: doc srcpkg_name: yosys srcpkg_version: 0.23-6 version: 0.23-6