CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2024/10/20 13:18:26
Modified files:
math/z3 : Makefile distinfo
math/z3/patches: patch-scripts_mk_util_py
Removed files:
math/z3/patches: patch-src_util_memory_manager_cpp
Log message:
update to math/z3-4.13.3 (taking maintainer)
Changes:
- https://github.com/Z3Prover/z3/releases/tag/z3-4.13.1
- https://github.com/Z3Prover/z3/releases/tag/z3-4.13.2
- https://github.com/Z3Prover/z3/releases/tag/z3-4.13.3
plus and usual ports polish from kn@
OK kn@
