CVS: cvs.openbsd.org: ports

[Frederic Cambus]

CVSROOT:        /cvs
Module name:    ports
Changes by:     fcam...@cvs.openbsd.org 2022/05/05 02:27:13

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

Log message:
Update z3 to 4.8.16.

OK op@