svn commit: r569424 - head/math/minizinc

[Yuri Victorovich]

Author: yuri
Date: Mon Mar 29 00:59:40 2021
New Revision: 569424
URL: https://svnweb.freebsd.org/changeset/ports/569424

Log:
  math/minizinc: Update 2.5.3 -> 2.5.5
  
  Reported by:	portscout

Modified:
  head/math/minizinc/Makefile
  head/math/minizinc/distinfo
  head/math/minizinc/pkg-plist

Modified: head/math/minizinc/Makefile
==============================================================================
--- head/math/minizinc/Makefile	Mon Mar 29 00:47:53 2021	(r569423)
+++ head/math/minizinc/Makefile	Mon Mar 29 00:59:40 2021	(r569424)
@@ -1,7 +1,7 @@
 # $FreeBSD$
 
 PORTNAME=	minizinc
-DISTVERSION=	2.5.3
+DISTVERSION=	2.5.5
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri at FreeBSD.org

Modified: head/math/minizinc/distinfo
==============================================================================
--- head/math/minizinc/distinfo	Mon Mar 29 00:47:53 2021	(r569423)
+++ head/math/minizinc/distinfo	Mon Mar 29 00:59:40 2021	(r569424)
@@ -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

Modified: head/math/minizinc/pkg-plist
==============================================================================
--- head/math/minizinc/pkg-plist	Mon Mar 29 00:47:53 2021	(r569423)
+++ head/math/minizinc/pkg-plist	Mon Mar 29 00:59:40 2021	(r569424)
@@ -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