CVSROOT: /cvs Module name: ports Changes by: kir...@cvs.openbsd.org 2025/06/25 12:02:12
Modified files:
math/z3 : Makefile distinfo
math/z3/patches: patch-scripts_mk_util_py
Log message:
math/z3: update to 4.15.2
Changes:
- https://github.com/Z3Prover/z3/releases/tag/z3-4.15.1
- https://github.com/Z3Prover/z3/releases/tag/z3-4.15.2
