Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1

Control: tags -1 + confirmed On Sat, 2019-08-24 at 11:03 +0200, Andreas Beckmann wrote: > Followup-For: Bug #935581 > > Now with diff ... > Please go ahead. Regards, Adm

Processed: Re: Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1

Processing control commands: > tags -1 + confirmed Bug #935581 [release.debian.org] stretch-pu: package z3/4.4.1-1~deb9u1 Added tag(s) confirmed. -- 935581: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935581 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1

Followup-For: Bug #935581 Now with diff ... Andreas diff -Nru z3-4.4.1/debian/changelog z3-4.4.1/debian/changelog --- z3-4.4.1/debian/changelog 2018-09-16 19:46:04.0 +0200 +++ z3-4.4.1/debian/changelog 2019-08-24 08:42:32.0 +0200 @@ -1,8 +1,42 @@ +z3 (4.4.1-1~deb9u1) stretch;

Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1

Package: release.debian.org Severity: normal Tags: stretch User: release.debian@packages.debian.org Usertags: pu Hi, I'd like to rebuild z3 from sid for stretch to fix the incorrect SONAME of libz3java.so (#842892) Andreas