Bug#935900: RFS: z3 4.8.4-0.1 [NMU]

[Gianfranco Costamagna]

 control: owner -1 !control: tags -1 moreinfo
Hello Fabian, 

I tried many times to update it, would you mind pushing your work directly on 
the pkg-llvm repository?
In the meanwhile I'm having a look at your work
Gianfranco
Il martedì 27 agosto 2019, 19:39:28 CEST, Matthew Fernandez 
 ha scritto:  
 
 

On Aug 27, 2019, at 08:48, Fabian Wolff  wrote:
On 8/27/19 4:00 PM, Matthew Fernandez wrote:


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?


Thanks for pointing this out; I did not notice this, because I was
using uscan, and upstream suddenly changed the tag format on Github for
tagging new releases:

  https://github.com/Z3Prover/z3/tags


Ah, I was not aware of this either, so we both learned something :)

In the last hour or so, I have tried to import version 4.8.5, but they
apparently changed something in the build system so that building with
Mono no longer works (it fails with 'dotnet: Command not found', and I
don't know what the Mono equivalent of the dotnet command is, or if one
exists at all).


I’ve built 4.8.5 before, but not the .net bindings which I guess is what you’re 
dealing with. I can attempt this but unfortunately won’t have time in the short 
term.

So, I'd say having version 4.8.4 is still better than 4.4.1, and if
someone else wants to give 4.8.5 another try in the future, they can do
so after this upload.


Agreed. Having 4.8.4 available would be a significant improvement. Thanks!  

Bug#935900: RFS: z3 4.8.4-0.1 [NMU]

[Matthew Fernandez]

> On Aug 27, 2019, at 08:48, Fabian Wolff  wrote:
> 
> On 8/27/19 4:00 PM, Matthew Fernandez wrote:
>>> 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?
> 
> Thanks for pointing this out; I did not notice this, because I was
> using uscan, and upstream suddenly changed the tag format on Github for
> tagging new releases:
> 
>  https://github.com/Z3Prover/z3/tags 

Ah, I was not aware of this either, so we both learned something :)

> In the last hour or so, I have tried to import version 4.8.5, but they
> apparently changed something in the build system so that building with
> Mono no longer works (it fails with 'dotnet: Command not found', and I
> don't know what the Mono equivalent of the dotnet command is, or if one
> exists at all).

I’ve built 4.8.5 before, but not the .net bindings which I guess is what you’re 
dealing with. I can attempt this but unfortunately won’t have time in the short 
term.

> So, I'd say having version 4.8.4 is still better than 4.4.1, and if
> someone else wants to give 4.8.5 another try in the future, they can do
> so after this upload.

Agreed. Having 4.8.4 available would be a significant improvement. Thanks!

Bug#935900: RFS: z3 4.8.4-0.1 [NMU]

[Fabian Wolff]

On 8/27/19 4:00 PM, Matthew Fernandez wrote:
>> 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?

Thanks for pointing this out; I did not notice this, because I was
using uscan, and upstream suddenly changed the tag format on Github for
tagging new releases:

  https://github.com/Z3Prover/z3/tags

In the last hour or so, I have tried to import version 4.8.5, but they
apparently changed something in the build system so that building with
Mono no longer works (it fails with 'dotnet: Command not found', and I
don't know what the Mono equivalent of the dotnet command is, or if one
exists at all).

So, I'd say having version 4.8.4 is still better than 4.4.1, and if
someone else wants to give 4.8.5 another try in the future, they can do
so after this upload.

Bug#935900: RFS: z3 4.8.4-0.1 [NMU]

[Matthew Fernandez]

> On Aug 27, 2019, at 06:27, Fabian Wolff  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   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
> 

Bug#935900: RFS: z3 4.8.4-0.1 [NMU]

[Fabian Wolff]

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

* 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   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