Ubuntu
yosys package

yosys 0.7-5 source package in Ubuntu

Changelog

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

 -- Ruben Undheim <email address hidden>  Fri, 27 Jul 2018 20:57:41 +0200

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
yosys_0.7-5.dsc 2.4 KiB 00264bbc57631813976dc121d8e89830c846cf77f4c7276937f3fbeee5c6a788
yosys_0.7.orig.tar.gz 936.9 KiB 3df986d0c6bf20b78193456e11c660f2ad935cc126537c2dc5726e78896d6e6e
yosys_0.7-5.debian.tar.xz 14.7 KiB 63a3f6a9ba9a788a3f84f3ff254b236d2258ad6dcb847cbf50f9c9397212fadc

Available diffs

No changes file available.

Binary packages built by this source

yosys: No summary available for yosys in ubuntu cosmic.

No description available for yosys in ubuntu cosmic.

yosys-dbgsym: No summary available for yosys-dbgsym in ubuntu cosmic.

No description available for yosys-dbgsym in ubuntu cosmic.

yosys-dev: No summary available for yosys-dev in ubuntu cosmic.

No description available for yosys-dev in ubuntu cosmic.

yosys-doc: No summary available for yosys-doc in ubuntu cosmic.

No description available for yosys-doc in ubuntu cosmic.