K 10
svn:author
V 3
jrm
K 8
svn:date
V 27
2017-12-24T13:01:36.080078Z
K 7
svn:log
V 205
math/z3: Add missing dependency on devel/py-setuptools

PR:		224438
Reported by:	cem
Reviewed by:	mat
Approved by:	6yearold@gmail.com (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13542

END