diff --git a/math/minizinc-ide/Makefile b/math/minizinc-ide/Makefile
index 0e93207fae7a..f475b6d1b434 100644
--- a/math/minizinc-ide/Makefile
+++ b/math/minizinc-ide/Makefile
@@ -1,34 +1,34 @@
 PORTNAME=	minizinc-ide
-DISTVERSION=	2.8.4
+DISTVERSION=	2.8.5
 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 664f92db38e1..84a2704c95e0 100644
--- a/math/minizinc-ide/distinfo
+++ b/math/minizinc-ide/distinfo
@@ -1,5 +1,5 @@
-TIMESTAMP = 1716755935
-SHA256 (MiniZinc-MiniZincIDE-2.8.4_GH0.tar.gz) = 7c39a9add7e9292dfd5b2b4c5cd2b8bcccd284b16df58c1ec662ea46f43db556
-SIZE (MiniZinc-MiniZincIDE-2.8.4_GH0.tar.gz) = 835156
+TIMESTAMP = 1717466174
+SHA256 (MiniZinc-MiniZincIDE-2.8.5_GH0.tar.gz) = 7e8c1f28da2ac016506544a71130536214be410f45f26680131d336a1a59659a
+SIZE (MiniZinc-MiniZincIDE-2.8.5_GH0.tar.gz) = 835165
 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 d4df49b315f6..44b0a0d0d3be 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,43 +1,43 @@
 PORTNAME=	minizinc
-DISTVERSION=	2.8.4
+DISTVERSION=	2.8.5
 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 9da06e6044bd..3856d5b48c6a 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1716755167
-SHA256 (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 855c8e9765f95520c668a9d3bc78abd23dd652016bd8d384f2d94fe1931209b6
-SIZE (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 8040687
+TIMESTAMP = 1717466106
+SHA256 (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = cd8aa35532191864ba5a79f8755e0e24c329b1b887305f89d5f7b33eca9f96db
+SIZE (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = 8050297