package: yosys version: 0.7-7 severity: serious Hi, The latest upload of yosys seems to FTBFS on i386, preventing migration to testing: https://buildd.debian.org/status/package.php?p=yosys Cheers, Ivo