diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-27 18:55:21 +0000 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-27 18:55:21 +0000 |
| commit | 70d72482d4562632af68996bd011eadb9d5817e4 (patch) | |
| tree | e8c10bb7ffabddc44c7d4c8ebdf5a90872dcfe8e /debian/changelog | |
| parent | e25ca7b2218e5c6393403e439cc5b47345e2acc6 (diff) | |
Changelog entry
Diffstat (limited to 'debian/changelog')
| -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 |