CVS: cvs.openbsd.org: ports

[Klemens Nanni]

CVSROOT:        /cvs
Module name:    ports
Changes by:     k...@cvs.openbsd.org    2020/03/22 10:01:43

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

Log message:
Add conflict marker for devel/angr/py-z3-solver

py3-z3-solver already has "@conflict z3-*".

OK jca