K 10
svn:author
V 3
0mp
K 8
svn:date
V 27
2020-03-08T16:18:05.525160Z
K 7
svn:log
V 183
Rename math/py-PySMT to math/py-pysmt

This is done in order to follow the policy set out by the Python team:
https://wiki.freebsd.org/Python/PortsPolicy#PORTNAME

Reported by:	koobs

END