Index: head/math/stp/Makefile
===================================================================
--- head/math/stp/Makefile	(revision 493697)
+++ head/math/stp/Makefile	(revision 493698)
@@ -1,30 +1,29 @@
 # Created by: Li-Wen Hsu <lwhsu@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	stp
-DISTVERSION=	2.3.1
-PORTREVISION=	4
+DISTVERSION=	2.3.2
 PORTEPOCH=	1
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	Decision Procedure for Bitvectors and Arrays
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 BROKEN_aarch64=		fails to compile: undefined reference to sbrk
 
 LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs \
 		libminisat.so:math/minisat \
 		libcryptominisat5.so:math/cryptominisat
 
 USES=		bison:build compiler:c++11-lang cmake perl5 python
 USE_GITHUB=	yes
 USE_PERL5=	build
 USE_LDCONFIG=	yes
 
 post-install:
-	@${MV} ${STAGEDIR}${PREFIX}/bin/stp-2.1.2 ${STAGEDIR}${PREFIX}/bin/stp
+	@${MV} ${STAGEDIR}${PREFIX}/bin/stp-${PORTVERSION} ${STAGEDIR}${PREFIX}/bin/stp
 
 .include <bsd.port.mk>
Index: head/math/stp/distinfo
===================================================================
--- head/math/stp/distinfo	(revision 493697)
+++ head/math/stp/distinfo	(revision 493698)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1531729804
-SHA256 (stp-stp-2.3.1_GH0.tar.gz) = d5d4fcc76626eb25adbc06ad0da2811efcfb5d2a368726535bbfcb914d6588ce
-SIZE (stp-stp-2.3.1_GH0.tar.gz) = 2556392
+TIMESTAMP = 1550915610
+SHA256 (stp-stp-2.3.2_GH0.tar.gz) = 146592168eaf094c8ea47cb55d6908919798a1b46de9948704d97224f0212f42
+SIZE (stp-stp-2.3.2_GH0.tar.gz) = 2575880
Index: head/math/stp/pkg-plist
===================================================================
--- head/math/stp/pkg-plist	(revision 493697)
+++ head/math/stp/pkg-plist	(revision 493698)
@@ -1,12 +1,12 @@
 bin/stp
 bin/stp_simple
 include/stp/c_interface.h
 lib/cmake/STP/STPConfig.cmake
 lib/cmake/STP/STPConfigVersion.cmake
 lib/cmake/STP/STPTargets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/STP/STPTargets.cmake
 lib/libstp.so
-lib/libstp.so.2.1
+lib/libstp.so.2.3
 %%PYTHON_SITELIBDIR%%/stp/__init__.py
 %%PYTHON_SITELIBDIR%%/stp/library_path.py
 %%PYTHON_SITELIBDIR%%/stp/stp.py