-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 28 Feb 2016 10:48:44 -0700 Source: yosys Binary: yosys Architecture: source Version: 0.6-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Sebastian Kuzminsky <seb@highlab.com> Description: yosys - Framework for Verilog RTL synthesis Changes: yosys (0.6-1) unstable; urgency=medium . * Uploaded to unstable. * New upstream release: 0.6 (5869d26) - 01_gitrevision.patch: refresh - spelling-fixes.patch: fix upstream spelling mistakes * debian/rules: - don't run make as part of dh_auto_configure, it'll get run by dh_auto_build later - enable parallel build - handle the new python dependencies of yosys-smtbmc * debian/control: - add Sebastian Kuzminsky to Uploaders * add a manpage for the new yosys-smtbmc executable Checksums-Sha1: 4c19355f648db384e99d3c3881a2f861a18bf81e 2051 yosys_0.6-1.dsc ee84113531fa0a7a2918079b8c1caf4ebb43a7fe 884534 yosys_0.6.orig.tar.gz d52b1dd84e92bc2e9d0c1862430fde7a04da0ca2 8644 yosys_0.6-1.debian.tar.xz Checksums-Sha256: ae39324b06e32648c6451948cf7a91519f0c2a531f8fa3a9a8f470678a208dff 2051 yosys_0.6-1.dsc bd3eb427cdb169635979f3c21bcf04c23f23df53c051653d63d2bb962a60400a 884534 yosys_0.6.orig.tar.gz be8bbe418ab79343cdfe267b8ce0f48b88f0528953f64ec6f31845e943d450f5 8644 yosys_0.6-1.debian.tar.xz Files: 891cfa6c5ee96858508e91353524fa4e 2051 electronics optional yosys_0.6-1.dsc 5154bceb1d0d24ec461c3719a556082e 884534 electronics optional yosys_0.6.orig.tar.gz a0eb0928a265468b351f1f09ab4d6aad 8644 electronics optional yosys_0.6-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJW2SWHAAoJEPxqH2TRCNER4YcP/AugQqKlM0d5a7hYzMhOTUe9 uugQJocZJRsTVmErWnxjJyaslRo+hf/4dO8jY/zX2eLuaVbpeJZbBWE6FIGBIVMB Rjp15ZIvaVzJPk3663eAplMGnKn7dBVzPBN9Ct2mbCxU+qMc7PSNkltMuAp19blx XXR2do7wMt012ZTfIVH/GOaeUwbC3u/QqRoRY1DJpgO9OL4LIlCzjpvyvmPLP0u6 upthI6qjuWIkhIkpMO7n5ke4BzcWc4MhDmYR3tZuyAg2/UsSKzr3KshQgOYhl5fa OE8+Cy5gcitmKEJ3EB15xzZEXIWOlGhZjPZC0ZZh8w0yO2xKBKQkMf+1ZAFnqs3J KhGfdX9Zb+vMlPgxrV/wPg4gPFJ8G0dRb+35g1wB9VYo9JX6nCBxBZmhpATh5v1I OZbnZNj3TS+3cUiRMx4Jd4GaFIgfwaadH5LnwJ/hMcF6N7pSzJxT4OuzPx/VTKOZ 8eBIRO48/v9f3CQNdpZR2TRzHenZbLl7sNx+lmXtdd5oq4psUTGBgQ1oOO6BCOJ8 h8lbvzy0IrERFr/WSvxMb8In2Myo8fLocpyBDLdkD+gymYelFMhdacAGZmOXUkMg xer5TBYfWmPYfcE1eg7zESS6sJdOlfHUGN2HFPwpP8yEkSQgLdUOa2cujUoIopMP jq4AfgafcCJRpP7EPuOx =By/g -----END PGP SIGNATURE-----