diff options
| -rw-r--r-- | debian/changelog | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 39375a4f..334d7903 100644 --- a/debian/changelog +++ b/debian/changelog @@ -6,7 +6,7 @@ yosys (0.7-5) unstable; urgency=medium - 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 + -- Ruben Undheim <ruben.undheim@gmail.com> Fri, 27 Jul 2018 20:57:41 +0200 yosys (0.7-4) unstable; urgency=medium |