aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2024-02-02 14:58:57 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2024-02-02 14:58:57 +0000
commit65c7d5d91c2c29a60092b29f7e876eee18f86cb9 (patch)
tree5f3f8af483f8aff58868dc53ec7099a4aca4dcff
parent8a94329379f43bf5bbfdfd6b2a9f96725106a385 (diff)
downloadports-65c7d5d91c2c29a60092b29f7e876eee18f86cb9.tar.gz
ports-65c7d5d91c2c29a60092b29f7e876eee18f86cb9.zip
math/minizinc: update 2.8.2 → 2.8.3
Reported by: portscout
-rw-r--r--math/minizinc/Makefile2
-rw-r--r--math/minizinc/distinfo6
-rw-r--r--math/minizinc/pkg-plist8
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