Debian
yosys package

yosys 0.7-2+deb9u1 source package in Debian

Changelog

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

 -- Andreas Beckmann <email address hidden>  Sun, 10 Feb 2019 03:33:31 +0100

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Stretch
Original maintainer:
Debian Science Team
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Stretch release main misc

Builds

Downloads

File Size SHA-256 Checksum
yosys_0.7-2+deb9u1.dsc 2.5 KiB 44649ac8e31702f66bfd0fe981fd53da3bb87a798a90f69f85898b8d91b525e3
yosys_0.7.orig.tar.gz 936.9 KiB 3df986d0c6bf20b78193456e11c660f2ad935cc126537c2dc5726e78896d6e6e
yosys_0.7-2+deb9u1.debian.tar.xz 12.3 KiB 894f1ddad146d6eab92b13802f456c8880ff7bf6eb8273b78349908ba5d8aeaf

No changes file available.

Binary packages built by this source