Control: tag -1 confirmed On Sun, Sep 16, 2018 at 09:13:43PM +0300, Adrian Bunk wrote: > diff -Nru z3-4.4.1/debian/changelog z3-4.4.1/debian/changelog > --- z3-4.4.1/debian/changelog 2016-09-26 08:28:12.000000000 +0300 > +++ z3-4.4.1/debian/changelog 2018-09-16 20:46:04.000000000 +0300 > @@ -1,3 +1,18 @@ > +z3 (4.4.1-0.4~deb9u1) stretch; urgency=medium > + > + * Non-maintainer upload. > + * Rebuild for stretch. > + > + -- Adrian Bunk <b...@debian.org> Sun, 16 Sep 2018 20:46:04 +0300 > + > +z3 (4.4.1-0.4) unstable; urgency=medium > + > + * Non-maintainer upload. > + * Remove the incorrect Multi-Arch: same of python-z3, > + thanks to Helmut Grohne. (Closes: #874237) > + > + -- Adrian Bunk <b...@debian.org> Sun, 09 Sep 2018 22:28:32 +0300 > + > z3 (4.4.1-0.3) unstable; urgency=medium > > * Non-maintainer upload.
Go ahead, thanks. Cheers, Julien
