CVS: cvs.openbsd.org: ports

[Rafael Sadowski]

CVSROOT:        /cvs
Module name:    ports
Changes by:     rsadow...@cvs.openbsd.org       2019/10/19 03:42:20

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

Log message:
Update z3 to 4.8.6