Skip to content

community/z3: upgrade to 4.10

Sören Tempel requested to merge nmeum/aports:z3-4.10 into master

Includes soname bump but we don't package anything which uses this directly.

Merge request reports