Bug#908957: stretch-pu: package z3/4.4.1-0.4~deb9u1

[Julien Cristau <jcristau@debian.org>]

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 <bunk@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 <bunk@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