git: 7a0a6bc8b9f9 - main - math/minizinc: update 2.8.3 → 2.8.4

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=7a0a6bc8b9f96f59b2fcef5ff37c517472321b24

commit 7a0a6bc8b9f96f59b2fcef5ff37c517472321b24
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-05-26 21:52:43 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-05-26 21:57:11 +0000

    math/minizinc: update 2.8.3 → 2.8.4
    
    Reported by:    portscout
---
 math/minizinc/Makefile  | 4 +---
 math/minizinc/distinfo  | 6 +++---
 math/minizinc/pkg-plist | 2 ++
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile
index 5b841ec681e0..d4df49b315f6 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	minizinc
-DISTVERSION=	2.8.3
-PORTREVISION=	1
+DISTVERSION=	2.8.4
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -16,7 +15,6 @@ LIB_DEPENDS=	libCbc.so:math/cbc \
 		libCgl.so:math/cgl \
 		libCoinUtils.so:math/coinutils \
 		libgecodekernel.so:math/gecode \
-		libhighs.so:math/highs \
 		libOsi.so:math/osi \
 		libOsiClp.so:math/clp
 
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo
index 0cb1d5aa7f6e..9da06e6044bd 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1706892856
-SHA256 (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 151ec26165abfb13d709d89be92b3f9bbb5ba3873b8ecf9d88ac15f31042628f
-SIZE (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 8029275
+TIMESTAMP = 1716755167
+SHA256 (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 855c8e9765f95520c668a9d3bc78abd23dd652016bd8d384f2d94fe1931209b6
+SIZE (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 8040687
diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist
index 06d08b786a3f..d77b818d55e2 100644
--- a/math/minizinc/pkg-plist
+++ b/math/minizinc/pkg-plist
@@ -71,6 +71,8 @@ include/minizinc/solvers/MIP/MIP_solverinstance.hpp
 include/minizinc/solvers/MIP/MIP_wrap.hh
 include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh
 include/minizinc/solvers/MIP/MIP_xpress_wrap.hh
+include/minizinc/solvers/atlantis_solverfactory.hh
+include/minizinc/solvers/atlantis_solverinstance.hh
 include/minizinc/solvers/chuffed_solverfactory.hh
 include/minizinc/solvers/chuffed_solverinstance.hh
 include/minizinc/solvers/fzn_solverfactory.hh