[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



Package: release.debian.org
Severity: normal
Tags: stretch
User: release.debian.org@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


Reply to: