CVSROOT: /cvs Module name: ports Changes by: [email protected] 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
