CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/02/20 16:06:41
Modified files:
math/z3 : Makefile distinfo
Log message:
math/z3: update to 3.14.0 from maintainer
Changes: https://github.com/Z3Prover/z3/releases/tag/z3-4.14.0
OK: kn@
