CVS: cvs.openbsd.org: ports

[Jasper Lievisse Adriaanse]

CVSROOT:        /cvs
Module name:    ports
Changes by:     jas...@cvs.openbsd.org  2019/03/30 03:54:39

Modified files:
        math/z3        : Makefile 

Log message:
switch to python3 for the bindings

ok rsadowski@