diff options
-rw-r--r-- | debian/changelog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 729b9f80..39375a4f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,13 @@ +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 <ruben.undheim@gmail.com> Fri, 27 Jul 2018 18:54:55 +0000 + yosys (0.7-4) unstable; urgency=medium * d/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch |