Index: head/math/minizinc/Makefile
===================================================================
--- head/math/minizinc/Makefile	(revision 556554)
+++ head/math/minizinc/Makefile	(revision 556555)
@@ -1,37 +1,37 @@
 # $FreeBSD$
 
 PORTNAME=	minizinc
-DISTVERSION=	2.5.2
+DISTVERSION=	2.5.3
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Constraint modeling language
 
 LICENSE=	MPL20
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 LIB_DEPENDS=	libCbc.so:math/cbc \
 		libCgl.so:math/cgl \
 		libgecodekernel.so:devel/gecode \
 		libOsiClp.so:math/clp
 
 USES=		bison cmake compiler:c++11-lang
 USE_GITHUB=	yes
 GH_ACCOUNT=	MiniZinc
 GH_PROJECT=	libminizinc
 USE_LDCONFIG=	yes
 
 CXXFLAGS+=	-DFREEBSD_MZN_STDLIB_DIR="\\\"${DATADIR}\\\""
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 
 OPTIONS_DEFINE=		WITH_SCIP
 
 WITH_SCIP_DESC=		Build with the SCIP optimizer
 WITH_SCIP_CMAKE_BOOL=	USE_SCIP
 WITH_SCIP_LIB_DEPENDS=	libscip.so:math/SCIP/
 
 post-patch:
 	${REINPLACE_CMD} -e 's|string std_lib_dir;|string std_lib_dir = "${DATADIR}";|' ${WRKSRC}/mzn2doc.cpp
 
 .include <bsd.port.mk>
Index: head/math/minizinc/distinfo
===================================================================
--- head/math/minizinc/distinfo	(revision 556554)
+++ head/math/minizinc/distinfo	(revision 556555)
@@ -1,3 +1,3 @@
-TIMESTAMP = 1605228420
-SHA256 (MiniZinc-libminizinc-2.5.2_GH0.tar.gz) = 35e3d1bb3ddafa01c6b06f01d35df5bb11d3de9f11101ac28aa68cc6d9da594e
-SIZE (MiniZinc-libminizinc-2.5.2_GH0.tar.gz) = 12578887
+TIMESTAMP = 1606629815
+SHA256 (MiniZinc-libminizinc-2.5.3_GH0.tar.gz) = 07982723009fcb50ae190bf17277e8c91e6279f319521f571d253ba27e2c2b1b
+SIZE (MiniZinc-libminizinc-2.5.3_GH0.tar.gz) = 12586537