Your message dated Fri, 27 Jul 2018 21:19:05 +0000
with message-id <e1fja8f-0008qz...@fasolo.debian.org>
and subject line Bug#904752: fixed in yosys 0.7-5
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 ow...@bugs.debian.org
immediately.)
--
904752: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=904752
Debian Bug Tracking System
Contact ow...@bugs.debian.org 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-5
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 904...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ruben Undheim <ruben.undh...@gmail.com> (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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 27 Jul 2018 20:57:41 +0200
Source: yosys
Binary: yosys yosys-dev yosys-doc
Architecture: source
Version: 0.7-5
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Ruben Undheim <ruben.undh...@gmail.com>
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-5) unstable; urgency=medium
.
* 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:
4c9050ca2664cf0238c0a0979281fd0dc0ddc999 2498 yosys_0.7-5.dsc
1cc8715026886273980cd3a0db8d530bde3b95df 15060 yosys_0.7-5.debian.tar.xz
25ede769a997b86b6d37edd663a42c4e85676784 6674 yosys_0.7-5_source.buildinfo
Checksums-Sha256:
00264bbc57631813976dc121d8e89830c846cf77f4c7276937f3fbeee5c6a788 2498
yosys_0.7-5.dsc
63a3f6a9ba9a788a3f84f3ff254b236d2258ad6dcb847cbf50f9c9397212fadc 15060
yosys_0.7-5.debian.tar.xz
59f6333d62eb9ce3caa6f7b2944b034c251a0980574c37bed77263b6ab23be57 6674
yosys_0.7-5_source.buildinfo
Files:
08513dd1362e53f061f76ff2ff4a8795 2498 electronics optional yosys_0.7-5.dsc
6bd6f754f11d65632c598913235fd785 15060 electronics optional
yosys_0.7-5.debian.tar.xz
116e4502cbf755789441b8044de741ee 6674 electronics optional
yosys_0.7-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJMBAEBCAA2FiEENHTECWcp7QxRgH085pgix+ApWM0FAltbhS4YHHJ1YmVuLnVu
ZGhlaW1AZ21haWwuY29tAAoJEOaYIsfgKVjNRP0P/ivN5r13Zj3CKbr99FRDvanD
j1stw/81dz1pRdcLx3+zae/XUxEPMWPVZjvP14zRJIZQtTivsqblmejDjQEt98w8
jU2Fup37XwF6e3yl5pcJwu1MMaz5/HsmDYJWzXhFdKzx/1Xq4Yx9rzSy1AExqhTV
YQFVMqf1JYW9aBav1TUq1aJx8dEwH6aoqPpEGH2Pi52G4s1Or5XKHlJql+kE813C
BUf8bgYOcGui5mvz8ACEzf8UgJvf76wJUqAuCsjQEzGr9v07rq5Hl6x79YI69Fg5
VK5xYmQEyEb6cziTWrmnYIDeCTAmCJ7d73JPZqfwhq1N/Wrmgk63JpNVCmtOS4yS
mCipozh4C+VYxtdVvyVpPTD7Yfqtu39X6V3KolL8Ab/rL8/DWZz+OMUYsHoHEOgd
HxcXl2VHjLorbhjbbz+62d0TqVexR5xwNuSJv3IUde6St7q3+/d6SE6i6yOMaQvU
6Da6+QDM6OM93bEk4VVHxLf0POxlpcaPzSYGBbZ+Ce6IsneovSqYdas8Obly4FAJ
EsvFrUNV/8S6NKGC8EEqMWfd/itYI1syACGIEy6UQY0kqgdQffHpEktUOD6JZAbX
eSIbCWsR90RTO6VLV16lqsgA/ogHRekw0K4SOBkkwjUxiLPjEO16vGWitQFXSxO4
4TTAbe32tBqmImsWU5QL
=52kW
-----END PGP SIGNATURE-----
--- End Message ---
