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 <d...@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 > >
signature.asc
Description: OpenPGP digital signature
