Next week, I will update the z3 package to version 4.10.2, which
entails an soname bump. I will rebuild opam, which is the only
package that depends on the library. Packages that use z3 via the
command line should not be affected adversely.
--
Jerry James
http://www.jamezone.org/