Your message dated Sun, 10 Feb 2019 19:17:11 +0000
with message-id <e1gsubh-000gk4...@fasolo.debian.org>
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 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-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 904...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Andreas Beckmann <a...@debian.org> (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: 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
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Andreas Beckmann <a...@debian.org>
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 ---
