Packages changed:
  z3 (4.8.9 -> 4.8.10)

=== Details ===

==== z3 ====
Version update (4.8.9 -> 4.8.10)

- update to 4.8.10:
  - rewritten arithmetic solver replacing legacy arithmetic solver and on by default