CVS: cvs.openbsd.org: ports

[Remi Pointel]

CVSROOT:        /cvs
Module name:    ports
Changes by:     rpoin...@cvs.openbsd.org        2018/04/10 02:17:38

Modified files:
        math/z3        : Makefile distinfo 
        math/z3/pkg    : PLIST 

Log message:
update z3 to 4.6.0, builds fine with clang 6.
from "Matthew Martin" phy1729@ at gmail dot com (thanks).