diff options
-rw-r--r-- | debian/changelog | 6 | ||||
-rw-r--r-- | debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch (renamed from debian/patches/0009-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch) | 0 | ||||
-rw-r--r-- | debian/patches/series | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/debian/changelog b/debian/changelog index d74b5f85..729b9f80 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,10 +1,10 @@ -yosys (0.7-5) UNRELEASED; urgency=medium +yosys (0.7-4) unstable; urgency=medium - * d/patches/0009-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch + * d/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch - Another attempt of getting full reproducibility of PDF documents in yosys-doc - -- Ruben Undheim <ruben.undheim@gmail.com> Sat, 14 Jul 2018 23:43:26 +0200 + -- Ruben Undheim <ruben.undheim@gmail.com> Sat, 14 Jul 2018 23:47:09 +0200 yosys (0.7-3) unstable; urgency=low diff --git a/debian/patches/0009-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch b/debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch index 87082429..87082429 100644 --- a/debian/patches/0009-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch +++ b/debian/patches/0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch diff --git a/debian/patches/series b/debian/patches/series index bcd53e97..734cbdfe 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -6,4 +6,4 @@ manual-build.patch kfreebsd-support.patch 0007-Disable-pretty-build.patch 0009-Some-spelling-errors-fixed.patch -0009-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch +0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch |