Index: head/math/boolector/Makefile
===================================================================
--- head/math/boolector/Makefile	(revision 529164)
+++ head/math/boolector/Makefile	(revision 529165)
@@ -1,34 +1,34 @@
 # $FreeBSD$
 
 PORTNAME=	boolector
-DISTVERSION=	3.2.0
+DISTVERSION=	3.2.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Satisfiability Modulo Theories (SMT) solver
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	cadical>0:math/cadical
 LIB_DEPENDS=	libbtor2parser.so:math/btor2tools \
 		libminisat.so:math/minisat \
 		libpicosat.so:math/picosat
 
 USES=		cmake:noninja compiler:c++11-lang # ninja fails to build tests
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 
 do-test: # tests assume that python-3.7 and bash are installed
 	@${FIND} ${WRKDIR} -name "*.py" \
 		| ${XARGS} ${REINPLACE_CMD} -e 's|#!/usr/bin/env python$$|#!${LOCALBASE}/bin/python3.7| ; s|#!/usr/bin/env python3$$|#!${LOCALBASE}/bin/python3.7|'
 	@${FIND} ${WRKDIR} -name "*.sh" \
 		| ${XARGS} ${REINPLACE_CMD} 's|#!/bin/bash$$|#!${LOCALBASE}/bin/bash|'
 	@cd ${BUILD_WRKSRC} && \
 		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} -DBUILD_TESTING:BOOL=ON ${CMAKE_SOURCE_PATH} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \
 		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test
 
 .include <bsd.port.mk>
Index: head/math/boolector/distinfo
===================================================================
--- head/math/boolector/distinfo	(revision 529164)
+++ head/math/boolector/distinfo	(revision 529165)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1581185405
-SHA256 (Boolector-boolector-3.2.0_GH0.tar.gz) = 5065ed4032f2761aff509a99df2124c0de1ab4fc8e7407d271946c92d564f268
-SIZE (Boolector-boolector-3.2.0_GH0.tar.gz) = 1558017
+TIMESTAMP = 1585205935
+SHA256 (Boolector-boolector-3.2.1_GH0.tar.gz) = 0273347f6b24be406e5d37fd3681d64847a0eecb4131006a6afb8f120b69c4dd
+SIZE (Boolector-boolector-3.2.1_GH0.tar.gz) = 1561216