Bug#935576: buster-pu: package z3/4.4.1-1~deb10u1

To: Andreas Beckmann <anbe@debian.org>, 935576@bugs.debian.org
Subject: Bug#935576: buster-pu: package z3/4.4.1-1~deb10u1
From: "Adam D. Barratt" <adam@adam-barratt.org.uk>
Date: Sat, 24 Aug 2019 10:19:18 +0100
Message-id: <[🔎] fe339af4bc9dcbf1b747e0adb3b106f5f6fc51be.camel@adam-barratt.org.uk>
Reply-to: "Adam D. Barratt" <adam@adam-barratt.org.uk>, 935576@bugs.debian.org
In-reply-to: <[🔎] 156662878661.19068.3988997183626167650.reportbug@zam581.zam.kfa-juelich.de>
References: <[🔎] 156662878661.19068.3988997183626167650.reportbug@zam581.zam.kfa-juelich.de> <[🔎] 156662878661.19068.3988997183626167650.reportbug@zam581.zam.kfa-juelich.de>

Control: tags -1 + confirmed

On Sat, 2019-08-24 at 08:39 +0200, Andreas Beckmann wrote:
> I'd like to rebuild z3 from sid for buster to fix the incorrect
> SONAME of libz3java.so (#842892)

Please go ahead.

Regards,

Adam

Reply to:

References:
- Bug#935576: stretch-pu: package z3/4.4.1-1~deb10u1
  - From: Andreas Beckmann <anbe@debian.org>

Prev by Date: Processed: Re: Bug#932009: buster-pu: package gcab/1.2-3
Next by Date: Processed: Re: Bug#935576: buster-pu: package z3/4.4.1-1~deb10u1
Previous by thread: Bug#935576: stretch-pu: package z3/4.4.1-1~deb10u1
Next by thread: Processed: Re: Bug#935576: buster-pu: package z3/4.4.1-1~deb10u1
Index(es):
- Date
- Thread