future-incompatibilities raised by z3-sys

[Xuanwo]

z3-sys 0.7.1 will lead to:

warning: the following packages contain code that will be rejected by a future version of Rust: nom v5.1.2
note: to see what the problems were, use the option `--future-incompat-report`, or run `cargo report future-incompatibilities --id 2`

This has been fixed in main, how about bumping a new version for z3-sys? Thanks.

[Xuanwo]

Hi @waywardmonkeys and @Pat-Lafon, could you please take a look? z3-sys has not been released for 2 years.

[Pat-Lafon]

I don't have any influence on this, it's up to @waywardmonkeys.

[waywardmonkeys]

I've done some merges and a couple of fixes. Is there anything else before I do a 0.8 release? Should I bump z3 itself to 0.12 or just increment the patch version?

[Xuanwo]

Should I bump z3 itself to 0.12 or just increment the patch version?

Since z3-sys is being updated to v0.8, it would be advisable to also bump z3 to version 0.12.

[waywardmonkeys]

Done!