CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/06/04 23:44:54
Modified files:
math/z3 : Makefile distinfo
Log message:
update z3 to 4.8.5, ok kn@.
bump lib version because few functions were removed, for example:
https://github.com/Z3Prover/z3/commit/86b98e3477e8f57ccbbcf7a1444ac8ffbf0fae73
https://github.com/Z3Prover/z3/commit/40e329fc92e91acc9efda668e8d6d034221fe887
