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