Z3 soname bump

In about a week, I will update the z3 package to version 4.13, which bumps the soname for the z3 library. No packages in Fedora consume z3-libs, other than some built from the z3 source RPM, so no other builds are necessary.

1 Like