debian/yosys-config.1