Your message dated Sun, 10 Feb 2019 19:17:11 +0000 with message-id <[email protected]> and subject line Bug#904752: fixed in yosys 0.7-2+deb9u1 has caused the Debian Bug report #904752, regarding yosys: /usr/bin/yosys-smtbmc fails to run: ModuleNotFoundError: No module named 'smtio' to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 904752: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=904752 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---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
--- End Message ---
--- Begin Message ---Source: yosys Source-Version: 0.7-2+deb9u1 We believe that the bug you reported is fixed in the latest version of yosys, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Andreas Beckmann <[email protected]> (supplier of updated yosys package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 10 Feb 2019 03:33:31 +0100 Source: yosys Binary: yosys yosys-dev yosys-doc Architecture: source Version: 0.7-2+deb9u1 Distribution: stretch Urgency: medium Maintainer: Debian Science Maintainers <[email protected]> Changed-By: Andreas Beckmann <[email protected]> Description: yosys - Framework for Verilog RTL synthesis yosys-dev - Framework for Verilog RTL synthesis (development files) yosys-doc - Documentation for Yosys Closes: 904752 Changes: yosys (0.7-2+deb9u1) stretch; urgency=medium . [ Andreas Beckmann ] * Non-maintainer upload. * Backport the patch fixing the search path from 0.7-5. . [ Ruben Undheim ] * debian/patches/0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch - Fix "ModuleNotFoundError: No module named 'smtio'" (Closes: #904752) * debian/tests/smtbc: - Added CI test to check that 'yosys-smtbmc' can be started with no import errors Checksums-Sha1: 490fc8d9d135e364e836b06dcb73ae49fdee5b45 2546 yosys_0.7-2+deb9u1.dsc 52274dc69224922c874a66a8e5a9c5e4938a5867 12568 yosys_0.7-2+deb9u1.debian.tar.xz 59fb8ae70cb379815b066ff08cc98beaf1893881 6533 yosys_0.7-2+deb9u1_source.buildinfo Checksums-Sha256: 44649ac8e31702f66bfd0fe981fd53da3bb87a798a90f69f85898b8d91b525e3 2546 yosys_0.7-2+deb9u1.dsc 894f1ddad146d6eab92b13802f456c8880ff7bf6eb8273b78349908ba5d8aeaf 12568 yosys_0.7-2+deb9u1.debian.tar.xz 8cf6c612b8652fdb80dc8b90f0adbe4b123e4e42acf02e5bc0739ce48781bef3 6533 yosys_0.7-2+deb9u1_source.buildinfo Files: 06ba45a1aed748b9dba8b66b2e7684da 2546 electronics optional yosys_0.7-2+deb9u1.dsc 81a9bbe302438b2b7fe5dc042a201d77 12568 electronics optional yosys_0.7-2+deb9u1.debian.tar.xz 6b30e5bbbc230bad4115a5b07b580603 6533 electronics optional yosys_0.7-2+deb9u1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE6/MKMKjZxjvaRMaUX7M/k1np7QgFAlxfpesQHGFuYmVAZGVi aWFuLm9yZwAKCRBfsz+TWentCNqJEACisZephdRIufmfRmfaRaVPZeSuDNmFkn35 Ut27Hk8pBZG33x07p7WnDpb+8ctQ0K/0fg/nbYK6vg9zba0+SHhlcB78V8/uDtwt 56a2spksAxlUcgJzb2CsXGCEssXugwxAQ/eEM2RnPomzlfb8M3+3ulOhTfv9CYEn rqyLJ4f2BP0QHDAubrz5SZgntbNDnIuEgMW/sO/JJEL1k9m/5X/2Tlk+3RvNXBjm nyYV/XPa+80agMfsj3a2vIPiVgZbqjFD8ip4qs0vIBtkvWZNqrHowiQHQbPlJcFl vt81SLrcl5n36SsgWPrXp7tdahf41dVK6RVA6v/QkGWx7P1fc1H1tiniYNMsYr/8 YRDduX+VrddwfsYpixa4LD3RttLHSkXJ3VgLcDTGpFadtfopvNTTsUAlEjTQo9gz So1sJpYfQpGoUiS72D4OKtYX19nJq4FSnOKsFdFW77vZejoYMEUHY5sVLwn/ZVLB EMcBaSL5Rsh84oSS/3ccUWH06R8Qe7t1+YChQG9Ou7MoXuQaSWFZTP4znXtZ2/Ot OyRsqq992K2PR/QFNAtDOfzbQXAIa3L2JX41GNb2VlhdNyWgtsyQm1Hs98jH+Sk0 t+d3xZyYtu6lghif7njUc6vSb7IblmONUSlCR3K3pyyl2fkH8yAReWKYlrshfgKA 0/cDapBPvQ== =Rv0a -----END PGP SIGNATURE-----
--- End Message ---
