Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]
Package: sponsorship-requests
Severity: important
Dear mentors,
I am looking for a sponsor for a NMU of the z3 package.
The update attempts to fix four RC bugs currently reported for z3.
Changes since the last upload:
* New upstream release.
* Remove patches that were fixed upstream:
- signed_char01
- signed_char02
- signed_char03
- signed_char04
- disable_test
- disable_test2
- disable_test3
- disable_test4 (upstream issue has been closed:
https://github.com/Z3Prover/z3/issues/210)
- fix_conflict
* Migrate remaining patches to DEP-3 format.
* Rewrite typos.patch to apply to new version of z3.
* Add patch fix-dotnet-version.patch (Closes: #808695).
* Upgrade to Standards version 3.9.8 (no changes).
* Install shared libraries into new libz3-4 package (Closes: #819884).
* Install python files directly into /usr/lib/python2.7/dist-packages/
(Closes: #802272).
* Clean up debian/rules.
* Remove unnecessary version restriction of build dependency
cli-common-dev.
* Format debian/control with cme.
* Fix debian/copyright: Change MIT to Expat and move Expat license text
into separate license block so that it covers both file blocks.
* Move libz3-ocaml-dev into section ocaml.
* Add preinst scripts to remove directories from older versions to allow
debhelper to install symlinks (Closes: #823573).
* Disable tests as they fail eventually.
As for the Lintian warnings: I've tried building z3 with hardening
flags turned on, but the build failed. I don't know what the problem
with the -dev package is; contrary to what Lintian claims, it *does*
contain a symlink to the respective shared library.
There are a few other issues that I was not able to fix, but I think
closing the four RC bugs has a higher priority right now.
The package is available on Mentors:
https://mentors.debian.net/package/z3
dget -x https://mentors.debian.net/debian/pool/main/z/z3/z3_4.4.1-0.1.dsc
Regards,
Fabian Wolff
Reply to: