git: 65c7d5d91c2c - main - math/minizinc: update 2.8.2 → 2.8.3

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=65c7d5d91c2c29a60092b29f7e876eee18f86cb9

commit 65c7d5d91c2c29a60092b29f7e876eee18f86cb9
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-02-02 14:58:57 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-02-02 14:58:57 +0000

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

diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile
index 2eb1c6338c7b..1e14aaf5da14 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	minizinc
-DISTVERSION=	2.8.2
+DISTVERSION=	2.8.3
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo
index 89d30fdefdaf..0cb1d5aa7f6e 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1703218580
-SHA256 (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = e8b5c037e1d9711803e05ef6eaf416d5ed080f57cc0867d3c6ec3b1304bfd375
-SIZE (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = 8026563
+TIMESTAMP = 1706892856
+SHA256 (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 151ec26165abfb13d709d89be92b3f9bbb5ba3873b8ecf9d88ac15f31042628f
+SIZE (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 8029275
diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist
index 749ce48e4fdd..06d08b786a3f 100644
--- a/math/minizinc/pkg-plist
+++ b/math/minizinc/pkg-plist
@@ -647,12 +647,16 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_steiner_reif.mzn
 %%DATADIR%%/std/fzn_strict_lex2.mzn
 %%DATADIR%%/std/fzn_strict_lex2_reif.mzn
-%%DATADIR%%/std/fzn_strictly_increasing_bool.mzn
-%%DATADIR%%/std/fzn_strictly_increasing_bool_reif.mzn
+%%DATADIR%%/std/fzn_strictly_increasing_float.mzn
+%%DATADIR%%/std/fzn_strictly_increasing_float_opt.mzn
+%%DATADIR%%/std/fzn_strictly_increasing_float_opt_reif.mzn
+%%DATADIR%%/std/fzn_strictly_increasing_float_reif.mzn
 %%DATADIR%%/std/fzn_strictly_increasing_int.mzn
 %%DATADIR%%/std/fzn_strictly_increasing_int_opt.mzn
 %%DATADIR%%/std/fzn_strictly_increasing_int_opt_reif.mzn
 %%DATADIR%%/std/fzn_strictly_increasing_int_reif.mzn
+%%DATADIR%%/std/fzn_strictly_increasing_set.mzn
+%%DATADIR%%/std/fzn_strictly_increasing_set_reif.mzn
 %%DATADIR%%/std/fzn_subcircuit.mzn
 %%DATADIR%%/std/fzn_subcircuit_reif.mzn
 %%DATADIR%%/std/fzn_subgraph_enum.mzn