Bug#949133: z3: request for backport to buster

[Fabian Wolff]

Hi Benjamin,

sorry for the very late reply, I kept putting it off...

Anyway, I have now set up a stable sbuild chroot and built z3 there, and, almost
surprisingly (and embarrassingly, because I waited so long to give it a try), it
built immediately, without me having to change anything, and the autopkgtests
passed, too.

So in principle, I could upload it now, but I'm kind of hesitant with regards to
how this would make me responsible for the package until buster's EOL [1]. Do
you have any experience with backports, is it really such a big commitment as
they make it sound in [1]? Because my personal focus is definitely on testing.

Best regards,
Fabian

[1] https://backports.debian.org/Contribute/

On Fri, 17 Jan 2020 10:55:54 +0100 Benjamin Albrecht <deb at 7c0.de> wrote:
> Package: z3
> Version: 4.8.7-2
> Severity: wishlist
> 
> Dear Maintainer,
> 
> I'm happy to see that z3 is actively being maintained again in Debian.
> 
> The version shipped in buster is quite old by now. Is there any chance you
> might be interested in providing a backport of the current version?
> 
> Sincerely
> 
> Benjamin Albrecht
> 
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://alioth-lists.debian.net/pipermail/pkg-llvm-team/attachments/20200507/bd9bd7cf/attachment.sig>