Bug#830569: marked as done (RFS: z3/4.4.1-0.1 [NMU] [4xRC])
control: reopen -1
reopening.
G.
Il Mercoledì 13 Luglio 2016 18:45, Debian Bug Tracking System <owner@bugs.debian.org> ha scritto:
Your message dated Wed, 13 Jul 2016 16:40:55 +0000
with message-id <E1bNNDT-0007L8-5P@quantz.debian.org>
and subject line closing RFS: z3/4.4.1-0.1 [NMU] [4xRC]
has caused the Debian Bug report #830569,
regarding RFS: z3/4.4.1-0.1 [NMU] [4xRC]
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
830569: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=830569
Debian Bug Tracking System
Contact owner@bugs.debian.org with problemsPackage: 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
Package z3 has been removed from mentors.
Reply to: