CVS: cvs.openbsd.org: ports

[Frederic Cambus]

CVSROOT:        /cvs
Module name:    ports
Changes by:     fcam...@cvs.openbsd.org 2022/08/17 15:59:48

Modified files:
        math/z3        : Makefile distinfo 
        math/z3/patches: patch-scripts_mk_util_py 

Log message:
Update z3 to 4.10.2.