diff --git a/math/minizinc-ide/Makefile b/math/minizinc-ide/Makefile
index f475b6d1b434..0c8cb7311635 100644
--- a/math/minizinc-ide/Makefile
+++ b/math/minizinc-ide/Makefile
@@ -1,34 +1,34 @@
 PORTNAME=	minizinc-ide
-DISTVERSION=	2.8.5
+DISTVERSION=	2.8.6
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	IDE for MiniZinc, a constraint modeling language
 WWW=		https://www.minizinc.org/
 
 LICENSE=	MPL20
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 RUN_DEPENDS=	minizinc:math/minizinc
 
 USES=		gl compiler:c++11-lang qmake qt:5
 USE_QT=		core declarative gui network sql testlib websockets widgets \
 		buildtools:build
 USE_GL=		gl
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	MiniZinc
 GH_PROJECT=	MiniZincIDE
 
 USE_GITLAB=	nodefault
 GL_TUPLE=	minizinc:cp-profiler-integration:f16b3132df33b3f258971f36dbe5e909983381c9:cp/cp-profiler/src/cpp-integration
 
 PLIST_FILES=	bin/MiniZincIDE \
 		share/pixmaps/minizinc_icon.png
 
 DESKTOP_ENTRIES=	"MiniZinc" "Constraint modeling language" "${PREFIX}/share/pixmaps/minizinc_icon.png" "MiniZincIDE" "Science;Development;Education;" ""
 
 post-install:
 	${INSTALL_DATA} ${WRKSRC}/resources/icon.png ${STAGEDIR}${PREFIX}/share/pixmaps/minizinc_icon.png
 
 .include <bsd.port.mk>
diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo
index 84a2704c95e0..a5101d4b8b2d 100644
--- a/math/minizinc-ide/distinfo
+++ b/math/minizinc-ide/distinfo
@@ -1,5 +1,5 @@
-TIMESTAMP = 1717466174
-SHA256 (MiniZinc-MiniZincIDE-2.8.5_GH0.tar.gz) = 7e8c1f28da2ac016506544a71130536214be410f45f26680131d336a1a59659a
-SIZE (MiniZinc-MiniZincIDE-2.8.5_GH0.tar.gz) = 835165
+TIMESTAMP = 1727479099
+SHA256 (MiniZinc-MiniZincIDE-2.8.6_GH0.tar.gz) = 1daa2864d1eb620f29f005c4ea31333034c716861d0c2a05e74a3a94b0997234
+SIZE (MiniZinc-MiniZincIDE-2.8.6_GH0.tar.gz) = 835188
 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128
 SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217
diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile
index 44b0a0d0d3be..a9d367c34b84 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,43 +1,43 @@
 PORTNAME=	minizinc
-DISTVERSION=	2.8.5
+DISTVERSION=	2.8.6
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Constraint modeling language
 WWW=		https://www.minizinc.org/
 
 LICENSE=	MPL20
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 CONFLICTS_BUILD=	CoinMP
 
 LIB_DEPENDS=	libCbc.so:math/cbc \
 		libCgl.so:math/cgl \
 		libCoinUtils.so:math/coinutils \
 		libgecodekernel.so:math/gecode \
 		libOsi.so:math/osi \
 		libOsiClp.so:math/clp
 
 USES=		bison cmake compiler:c++11-lang
 USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	MiniZinc
 GH_PROJECT=	libminizinc
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 
 CXXFLAGS+=	-DFREEBSD_MZN_STDLIB_DIR="\\\"${DATADIR}\\\""
 CXXFLAGS+=	-I${LOCALBASE}/include/highs # workaround for https://github.com/MiniZinc/libminizinc/issues/744
 LDFLAGS+=	-L${LOCALBASE}/lib # workaround for https://github.com/MiniZinc/libminizinc/issues/744
 
 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>
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo
index 3856d5b48c6a..879424e1366a 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1717466106
-SHA256 (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = cd8aa35532191864ba5a79f8755e0e24c329b1b887305f89d5f7b33eca9f96db
-SIZE (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = 8050297
+TIMESTAMP = 1727478178
+SHA256 (MiniZinc-libminizinc-2.8.6_GH0.tar.gz) = 719469473bd0ad0f667d79e35735ef8c535f64642b3565a197ed09b285a3d506
+SIZE (MiniZinc-libminizinc-2.8.6_GH0.tar.gz) = 8059282