Control: tags -1 + pending Hi,
The upload referenced by this bug report has been flagged for acceptance into the proposed-updates queue for Debian stretch. Thanks for your contribution! Upload details ============== Package: yosys Version: 0.7-2+deb9u1 Explanation: fix "ModuleNotFoundError: No module named 'smtio'"
