Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

Control: reopen -1 I have - added Breaks + Replaces in debian/control - fixed the copyright information for hamiltonian.py - enabled most tests - enabled hardening flags This should address the remaining issues the two of you found in the previous package.

Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

Hi (please cc the bug) >I removed it, but does it do any harm? no, I guess not >Might have something to do with -fPIE vs. -fPIC, but one would have to >investigate further to be sure. This is definitely not a regression, >though, since the z3 version currently in the archive has no hardening

Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

Any reason why your .orig.tar is different than the one uscan downloads? $ md5sum z3_4.4.1.orig.tar.gz* 94e21f86056f986c320653912be53f8a z3_4.4.1.orig.tar.gz 4336a9df24f090e711c6d42fd4e2b1fc z3_4.4.1.orig.tar.gz.github * Fabian Wolff , 2016-07-10, 00:56: * Install shared

Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

Hi Jakub, thanks for the review! On Sat, Jul 09, 2016 at 08:33:21PM +0200, Jakub Wilk wrote: > Hi Fabian! > > I don't intend to sponsor this upload, but here's a quick review: > > * Fabian Wolff , 2016-07-09, 16:14: > > * Add patch fix-dotnet-version.patch (Closes:

Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

Control: tags -1 + moreinfo * Jakub Wilk , 2016-07-09, 20:33: Yes, it does look like a bug in Lintian. Apparently it gets confused by the -ocaml-dev package: $ lintian libz3-4_4.4.1-0.1_amd64.deb libz3-dev_4.4.1-0.1_amd64.deb [nothing] $ lintian libz3-4_4.4.1-0.1_amd64.deb

Bug#830569: RFS: z3/4.4.1-0.1 [NMU] [4xRC]

Hi Fabian! I don't intend to sponsor this upload, but here's a quick review: * Fabian Wolff , 2016-07-09, 16:14: * Add patch fix-dotnet-version.patch (Closes: #808695). This gives me no clue what the patch is about. * Upgrade to Standards version 3.9.8 (no changes).

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: