CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/10/15 03:12:30
Modified files:
math/z3 : Makefile distinfo
math/z3/pkg : PLIST
Removed files:
math/z3/patches: patch-cmake_cxx_compiler_flags_overrides_cmake
patch-scripts_mk_util_py
Log message:
math/z3: update to 5.3.0
