> On Aug 27, 2019, at 06:27, Fabian Wolff <fabi.wo...@arcor.de> wrote: > > Package: sponsorship-requests > Severity: normal > X-Debbugs-CC: m...@debian.org > X-Debbugs-CC: locutusofb...@debian.org > > Dear mentors, > > I am looking for a sponsor for a non-maintainer upload of the z3 package. > > The z3 package is several years out of date (see #909494), and it is > maintained in a packaging team anyways, so I think a NMU is warranted here to > finally get the package back into shape. > > My changes are summarized in the latest changelog entry: > > z3 (4.8.4-0.1) unstable; urgency=medium
I am not a z3 dev, but the latest z3 release is 4.8.5. Is there a particular motivation for uploading a 4.8.4-based release? > * Non-maintainer upload. > * New upstream release (Closes: #909494). > * Add debian/gbp.conf. > * Update and reorganize patches. > * Upgrade to debhelper compat level 12. > * Upgrade to Standards-Version 4.4.0 (no changes). > * Remove trailing whitespace from debian/control. > * Build-Depend on libnum-ocaml-dev (Closes: #934048). > > -- Fabian Wolff <fabi.wo...@arcor.de> Tue, 27 Aug 2019 14:30:11 +0200 > > > My changes can be found on Salsa, and I will create a Merge Request > referencing this RFS soon: https://salsa.debian.org/wolff-guest/z3 > > The package is also available on Mentors: > https://mentors.debian.net/package/z3 > > > Thanks for your help! > > Best regards, > Fabian >
