Accepted yosys 0.7-5 (source) into unstable

-----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-maintainers@lists.alioth.debian.org>
Changed-By: Ruben Undheim <ruben.undheim@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-----