Package: yosys Version: 0.7-2 Severity: serious sid $ /usr/bin/yosys-smtbmc Traceback (most recent call last): File "/usr/bin/yosys-smtbmc", line 22, in <module> from smtio import SmtIo, SmtOpts, MkVcd ModuleNotFoundError: No module named 'smtio'
stretch $ /usr/bin/yosys-smtbmc Traceback (most recent call last): File "/usr/bin/yosys-smtbmc", line 22, in <module> from smtio import SmtIo, SmtOpts, MkVcd ImportError: No module named 'smtio' Andreas -- debian-science-maintainers mailing list debian-science-maintainers@alioth-lists.debian.net https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers