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

[Andreas Beckmann]

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