yosys_0.7-2+deb9u1_source.changes ACCEPTED into proposed-updates->stable-new

[Debian FTP Masters]

Mapping stretch to stable.
Mapping stable to proposed-updates.

Accepted:

-----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-maintainers at lists.alioth.debian.org>
Changed-By: Andreas Beckmann <anbe at 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-----


Thank you for your contribution to Debian.