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.
