CVS: cvs.openbsd.org: ports

[Rafael Sadowski]

CVSROOT:        /cvs
Module name:    ports
Changes by:     rsadow...@cvs.openbsd.org       2023/02/08 23:53:56

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

Log message:
Update Z3 to 4.12.1

OK op@ thanks!