aboutsummaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2021-03-29 00:59:40 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2021-03-29 00:59:40 +0000
commitbbde1ed31ba7c1f5168585fc0bca72f9f8164037 (patch)
tree08921b52657246f70c90f1e8f32970a2e3b869ea /math
parent3b35823cd163c5e01030043418eb24e88581ce3b (diff)
downloadports-bbde1ed31ba7c1f5168585fc0bca72f9f8164037.tar.gz
ports-bbde1ed31ba7c1f5168585fc0bca72f9f8164037.zip
math/minizinc: Update 2.5.3 -> 2.5.5
Reported by: portscout
Notes
Notes: svn path=/head/; revision=569424
Diffstat (limited to 'math')
-rw-r--r--math/minizinc/Makefile2
-rw-r--r--math/minizinc/distinfo6
-rw-r--r--math/minizinc/pkg-plist35
3 files changed, 37 insertions, 6 deletions
diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile
index e9dd54cad0a5..677e9920ebbd 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,7 +1,7 @@
# $FreeBSD$
PORTNAME= minizinc
-DISTVERSION= 2.5.3
+DISTVERSION= 2.5.5
CATEGORIES= math lang
MAINTAINER= yuri@FreeBSD.org
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo
index 98fae6ca4a14..cb967600c214 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1606629815
-SHA256 (MiniZinc-libminizinc-2.5.3_GH0.tar.gz) = 07982723009fcb50ae190bf17277e8c91e6279f319521f571d253ba27e2c2b1b
-SIZE (MiniZinc-libminizinc-2.5.3_GH0.tar.gz) = 12586537
+TIMESTAMP = 1616977123
+SHA256 (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = c6c81fa8bdc2d7f8c8d851e5a4b936109f5d996abd8c6f809539f753581c6288
+SIZE (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = 12593468
diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist
index e3ba02c5db0f..2fdea27855ea 100644
--- a/math/minizinc/pkg-plist
+++ b/math/minizinc/pkg-plist
@@ -180,9 +180,15 @@ lib/libmzn.so
%%DATADIR%%/linear/fzn_inverse_in_range.mzn
%%DATADIR%%/linear/fzn_inverse_in_range_reif.mzn
%%DATADIR%%/linear/fzn_inverse_reif.mzn
-%%DATADIR%%/linear/fzn_lex_less_bool_reif.mzn
+%%DATADIR%%/linear/fzn_lex_chain_lesseq_bool.mzn
+%%DATADIR%%/linear/fzn_lex_chain_lesseq_int.mzn
+%%DATADIR%%/linear/fzn_lex_chain_lesseq_orbitope.mzn
+%%DATADIR%%/linear/fzn_lex_less_bool.mzn
+%%DATADIR%%/linear/fzn_lex_less_float.mzn
+%%DATADIR%%/linear/fzn_lex_less_int.mzn
%%DATADIR%%/linear/fzn_lex_lesseq_bool.mzn
-%%DATADIR%%/linear/fzn_lex_lesseq_bool_reif.mzn
+%%DATADIR%%/linear/fzn_lex_lesseq_float.mzn
+%%DATADIR%%/linear/fzn_lex_lesseq_int.mzn
%%DATADIR%%/linear/fzn_regular.mzn
%%DATADIR%%/linear/fzn_sliding_sum.mzn
%%DATADIR%%/linear/fzn_subcircuit.mzn
@@ -488,6 +494,16 @@ lib/libmzn.so
%%DATADIR%%/std/fzn_knapsack_reif.mzn
%%DATADIR%%/std/fzn_lex2.mzn
%%DATADIR%%/std/fzn_lex2_reif.mzn
+%%DATADIR%%/std/fzn_lex_chain_less_bool.mzn
+%%DATADIR%%/std/fzn_lex_chain_less_bool_reif.mzn
+%%DATADIR%%/std/fzn_lex_chain_less_int.mzn
+%%DATADIR%%/std/fzn_lex_chain_less_int_reif.mzn
+%%DATADIR%%/std/fzn_lex_chain_lesseq_bool.mzn
+%%DATADIR%%/std/fzn_lex_chain_lesseq_bool_reif.mzn
+%%DATADIR%%/std/fzn_lex_chain_lesseq_int.mzn
+%%DATADIR%%/std/fzn_lex_chain_lesseq_int_reif.mzn
+%%DATADIR%%/std/fzn_lex_chain_lesseq_orbitope.mzn
+%%DATADIR%%/std/fzn_lex_chain_lesseq_orbitope_reif.mzn
%%DATADIR%%/std/fzn_lex_less_bool.mzn
%%DATADIR%%/std/fzn_lex_less_bool_reif.mzn
%%DATADIR%%/std/fzn_lex_less_float.mzn
@@ -533,6 +549,8 @@ lib/libmzn.so
%%DATADIR%%/std/fzn_path_int.mzn
%%DATADIR%%/std/fzn_path_int_reif.mzn
%%DATADIR%%/std/fzn_piecewise_linear.mzn
+%%DATADIR%%/std/fzn_piecewise_linear_non_continuous.mzn
+%%DATADIR%%/std/fzn_piecewise_linear_non_continuous_reif.mzn
%%DATADIR%%/std/fzn_piecewise_linear_reif.mzn
%%DATADIR%%/std/fzn_range.mzn
%%DATADIR%%/std/fzn_range_reif.mzn
@@ -570,6 +588,7 @@ lib/libmzn.so
%%DATADIR%%/std/fzn_strictly_decreasing_bool.mzn
%%DATADIR%%/std/fzn_strictly_decreasing_bool_reif.mzn
%%DATADIR%%/std/fzn_strictly_decreasing_int.mzn
+%%DATADIR%%/std/fzn_strictly_decreasing_int_opt.mzn
%%DATADIR%%/std/fzn_strictly_decreasing_int_reif.mzn
%%DATADIR%%/std/fzn_strictly_increasing_bool.mzn
%%DATADIR%%/std/fzn_strictly_increasing_bool_reif.mzn
@@ -635,6 +654,17 @@ lib/libmzn.so
%%DATADIR%%/std/inverse_set.mzn
%%DATADIR%%/std/knapsack.mzn
%%DATADIR%%/std/lex2.mzn
+%%DATADIR%%/std/lex2_strict.mzn
+%%DATADIR%%/std/lex_chain_greater.mzn
+%%DATADIR%%/std/lex_chain_greatereq.mzn
+%%DATADIR%%/std/lex_chain_greatereq_orbitope.mzn
+%%DATADIR%%/std/lex_chain_less.mzn
+%%DATADIR%%/std/lex_chain_less_bool.mzn
+%%DATADIR%%/std/lex_chain_less_int.mzn
+%%DATADIR%%/std/lex_chain_lesseq.mzn
+%%DATADIR%%/std/lex_chain_lesseq_bool.mzn
+%%DATADIR%%/std/lex_chain_lesseq_int.mzn
+%%DATADIR%%/std/lex_chain_lesseq_orbitope.mzn
%%DATADIR%%/std/lex_greater.mzn
%%DATADIR%%/std/lex_greatereq.mzn
%%DATADIR%%/std/lex_less.mzn
@@ -665,6 +695,7 @@ lib/libmzn.so
%%DATADIR%%/std/partition_set.mzn
%%DATADIR%%/std/path.mzn
%%DATADIR%%/std/piecewise_linear.mzn
+%%DATADIR%%/std/piecewise_linear_non_continuous.mzn
%%DATADIR%%/std/range.mzn
%%DATADIR%%/std/range_fn.mzn
%%DATADIR%%/std/reachable.mzn