K 10
svn:author
V 4
yuri
K 8
svn:date
V 27
2018-07-30T20:17:04.911615Z
K 7
svn:log
V 129
math/py-z3: Rename back to math/py-z3-solver to match it on PyPI website

z3 is a different project on PyPI.

Reported by:	koobs

END