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

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1
From: Andreas Beckmann <anbe@debian.org>
Date: Sat, 24 Aug 2019 09:43:24 +0200
Message-id: <[🔎] 156663260446.20969.2987282804462762582.reportbug@zam581.zam.kfa-juelich.de>
Reply-to: Andreas Beckmann <anbe@debian.org>, 935581@bugs.debian.org

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:

Follow-Ups:
- Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1
  - From: Andreas Beckmann <anbe@debian.org>
- Processed: Re: Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1
  - From: "Debian Bug Tracking System" <owner@bugs.debian.org>
- Bug#935581: z3 4.4.1-1~deb9u1 flagged for acceptance
  - From: Adam D Barratt <adam@adam-barratt.org.uk>

Prev by Date: Bug#935576: stretch-pu: package z3/4.4.1-1~deb10u1
Next by Date: Processed: tagging 935576, retitle 935576 to buster-pu: package z3/4.4.1-1~deb10u1
Previous by thread: Processed: z3 4.4.1-1~deb10u1 flagged for acceptance
Next by thread: Bug#935581: stretch-pu: package z3/4.4.1-1~deb9u1
Index(es):
- Date
- Thread