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