CVS: cvs.openbsd.org: ports

[Jasper Lievisse Adriaanse]

CVSROOT:        /cvs
Module name:    ports
Changes by:     jas...@cvs.openbsd.org  2020/06/28 06:19:35

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

Log message:
update to z3-4.8.8