Bug#935900: RFS: z3 4.8.4-0.1 [NMU]
> On Aug 27, 2019, at 06:27, Fabian Wolff <fabi.wolff@arcor.de> wrote:
>
> Package: sponsorship-requests
> Severity: normal
> X-Debbugs-CC: mt@debian.org
> X-Debbugs-CC: locutusofborg@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.wolff@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
>
Reply to: