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

MOVED

@@ -14471,3 +14471,4 @@ x11-fonts/font-manager||2020-03-07|Has expired: Old, uses EOLed python27
 x11-toolkits/py-gtksourceview||2020-03-07|Has expired: Old, uses EOLed python27
 devel/py-hgsubversion||2020-03-08|Has expired: Unmaintained, uses EOLed python27
 devel/py-gamin||2020-03-08|Has expired: Old, uses EOLed python27
+math/py-PySMT|math/py-pysmt|2020-03-08|Rename as recommended by the Python team

math/Makefile

@@ -685,7 +685,6 @@
     SUBDIR += py-PuLP
     SUBDIR += py-PyMetis
     SUBDIR += py-PySCIPOpt
-    SUBDIR += py-PySMT
     SUBDIR += py-PyWavelets
     SUBDIR += py-Pyomo
     SUBDIR += py-algopy
@@ -770,6 +769,7 @@
     SUBDIR += py-pynndescent
     SUBDIR += py-pyodeint
     SUBDIR += py-pyodesys
+    SUBDIR += py-pysmt
     SUBDIR += py-pysparse
     SUBDIR += py-pystan
     SUBDIR += py-pysym

math/py-claripy/Makefile

@@ -2,6 +2,7 @@
 
 PORTNAME=	claripy
 DISTVERSION=	8.20.1.7
+PORTREVISION=	1
 CATEGORIES=	math devel python
 MASTER_SITES=	CHEESESHOP
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
@@ -16,7 +17,7 @@ LICENSE_FILE=	${WRKSRC}/LICENSE
 RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}cachetools>0:devel/py-cachetools@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}decorator>0:devel/py-decorator@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}future>0:devel/py-future@${PY_FLAVOR} \
-		${PYTHON_PKGNAMEPREFIX}PySMT>0:math/py-PySMT@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}pysmt>0:math/py-pysmt@${PY_FLAVOR} \
 		${PYTHON_PKGNAMEPREFIX}z3-solver>4.8.5.0:math/py-z3-solver@${PY_FLAVOR}
 TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR} \
 		z3>4.8.5.0:math/z3

math/py-pysmt/Makefile

@@ -1,6 +1,6 @@
 # $FreeBSD$
 
-PORTNAME=	PySMT
+PORTNAME=	pysmt
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.8.0
 CATEGORIES=	math python
@@ -18,9 +18,8 @@ TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}nose>0:devel/py-nose@${PY_FLAVOR}
 # Supported Python versions: 2.7,3.5+
 USES=		python
 USE_GITHUB=	yes
-GH_ACCOUNT=	pysmt
-GH_PROJECT=	pysmt
 USE_PYTHON=	autoplist concurrent distutils
+PYDISTUTILS_PKGNAME=	PySMT
 
 NO_ARCH=	yes