git: 17bae86fd487 - main - math/minizinc: Update 2.5.5 -> 2.6.0

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 22 Feb 2022 18:00:37 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=17bae86fd48743f3b1dbe70ba570b478462856ea

commit 17bae86fd48743f3b1dbe70ba570b478462856ea
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-02-22 17:48:39 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-02-22 18:00:28 +0000

    math/minizinc: Update 2.5.5 -> 2.6.0
    
    Reported by:    portscout
---
 math/minizinc/Makefile                           |   5 +-
 math/minizinc/distinfo                           |   6 +-
 math/minizinc/files/patch-lib_solver__config.cpp |  10 ++-
 math/minizinc/pkg-plist                          | 110 ++++++++++++++++++-----
 4 files changed, 103 insertions(+), 28 deletions(-)

diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile
index df6501fa5527..d89a55ff7082 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	minizinc
-DISTVERSION=	2.5.5
-PORTREVISION=	3
+DISTVERSION=	2.6.0
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -13,7 +12,9 @@ CONFLICTS_BUILD=	CoinMP
 
 LIB_DEPENDS=	libCbc.so:math/cbc \
 		libCgl.so:math/cgl \
+		libCoinUtils.so:math/coinutils \
 		libgecodekernel.so:math/gecode \
+		libOsi.so:math/osi \
 		libOsiClp.so:math/clp
 
 USES=		bison cmake compiler:c++11-lang
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo
index cb967600c214..c7fd684cc52c 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1616977123
-SHA256 (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = c6c81fa8bdc2d7f8c8d851e5a4b936109f5d996abd8c6f809539f753581c6288
-SIZE (MiniZinc-libminizinc-2.5.5_GH0.tar.gz) = 12593468
+TIMESTAMP = 1645548102
+SHA256 (MiniZinc-libminizinc-2.6.0_GH0.tar.gz) = 35559e75db3b9b5cd939879935ea5b4f343104040c9ca40aafef06b44ddc6fd7
+SIZE (MiniZinc-libminizinc-2.6.0_GH0.tar.gz) = 12961316
diff --git a/math/minizinc/files/patch-lib_solver__config.cpp b/math/minizinc/files/patch-lib_solver__config.cpp
index 6cc277581d7f..b2a47b1fc17b 100644
--- a/math/minizinc/files/patch-lib_solver__config.cpp
+++ b/math/minizinc/files/patch-lib_solver__config.cpp
@@ -1,8 +1,8 @@
 - Remove a non-existent directory from search.
 
---- lib/solver_config.cpp.orig	2021-05-02 20:37:56 UTC
+--- lib/solver_config.cpp.orig	2022-02-17 23:53:35 UTC
 +++ lib/solver_config.cpp
-@@ -662,9 +662,11 @@ SolverConfigs::SolverConfigs(std::ostream& log) {
+@@ -637,6 +637,7 @@ SolverConfigs::SolverConfigs(std::ostream& log) {
        FileUtils::directory_exists("/usr/local/share")) {
      _solverPath.emplace_back("/usr/local/share/minizinc/solvers");
    }
@@ -10,7 +10,11 @@
    if (_mznlibDir != "/usr/share/minizinc" && FileUtils::directory_exists("/usr/share")) {
      _solverPath.emplace_back("/usr/share/minizinc/solvers");
    }
-+#  endif
+@@ -648,6 +649,7 @@ SolverConfigs::SolverConfigs(std::ostream& log) {
+       FileUtils::directory_exists("/opt/homebrew/share")) {
+     _solverPath.emplace_back("/opt/homebrew/share/minizinc/solvers");
+   }
++#endif
  #endif
  }
  
diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist
index 2fdea27855ea..ef43affb613a 100644
--- a/math/minizinc/pkg-plist
+++ b/math/minizinc/pkg-plist
@@ -5,7 +5,11 @@ include/minizinc/_thirdparty/b64/cdecode.h
 include/minizinc/_thirdparty/b64/cencode.h
 include/minizinc/_thirdparty/b64/decode.h
 include/minizinc/_thirdparty/b64/encode.h
+include/minizinc/_thirdparty/cplex_interface.h
+include/minizinc/_thirdparty/gurobi_interface.h
 include/minizinc/_thirdparty/miniz.h
+include/minizinc/_thirdparty/scip_interface.h
+include/minizinc/_thirdparty/xpress_interface.h
 include/minizinc/algorithms/min_cut.h
 include/minizinc/ast.hh
 include/minizinc/ast.hpp
@@ -79,6 +83,7 @@ include/minizinc/solvers/nl/nl_file.hh
 include/minizinc/solvers/nl/nl_solreader.hh
 include/minizinc/solvers/nl/nl_solverfactory.hh
 include/minizinc/solvers/nl/nl_solverinstance.hh
+include/minizinc/stackdump.hh
 include/minizinc/statistics.hh
 include/minizinc/support/regex.hh
 include/minizinc/support/regex_parser.tab.hh
@@ -88,6 +93,7 @@ include/minizinc/typecheck.hh
 include/minizinc/utils.hh
 include/minizinc/utils_savestream.hh
 include/minizinc/values.hh
+include/minizinc/warning.hh
 lib/cmake/libminizinc/FindGecode.cmake
 lib/cmake/libminizinc/FindMPFR.cmake
 lib/cmake/libminizinc/FindOsiCBC.cmake
@@ -97,11 +103,6 @@ lib/cmake/libminizinc/libminizincTargets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/libminizinc/libminizincTargets.cmake
 lib/libmzn.so
 %%DATADIR%%/Preferences.json
-%%DATADIR%%/g12_fd/all_different_int.mzn
-%%DATADIR%%/g12_fd/cumulative.mzn
-%%DATADIR%%/g12_fd/global_cardinality_low_up.mzn
-%%DATADIR%%/g12_lazyfd/all_different_int.mzn
-%%DATADIR%%/g12_lazyfd/redefinitions.mzn
 %%DATADIR%%/geas/fzn_all_different_int.mzn
 %%DATADIR%%/geas/fzn_alldifferent_except_0.mzn
 %%DATADIR%%/geas/fzn_cumulative.mzn
@@ -204,27 +205,19 @@ lib/libmzn.so
 %%DATADIR%%/linear/redefs_lin_imp.mzn
 %%DATADIR%%/linear/redefs_lin_reifs.mzn
 %%DATADIR%%/linear/subcircuit_wDummy.mzn
-%%DATADIR%%/linear_old/all_different_int.mzn
-%%DATADIR%%/linear_old/domain_encodings.mzn
-%%DATADIR%%/linear_old/inverse.mzn
-%%DATADIR%%/linear_old/linear/all_different_int.mzn
-%%DATADIR%%/linear_old/linear/domain_encodings.mzn
-%%DATADIR%%/linear_old/linear/inverse.mzn
-%%DATADIR%%/linear_old/linear/redefinitions-2.0.2.mzn
-%%DATADIR%%/linear_old/linear/redefinitions-2.0.mzn
-%%DATADIR%%/linear_old/linear/redefinitions.mzn
-%%DATADIR%%/linear_old/linear/table_int.mzn
-%%DATADIR%%/linear_old/redefinitions-2.0.2.mzn
-%%DATADIR%%/linear_old/redefinitions-2.0.mzn
-%%DATADIR%%/linear_old/redefinitions.mzn
-%%DATADIR%%/linear_old/table_int.mzn
 %%DATADIR%%/std/all_different.mzn
+%%DATADIR%%/std/all_different_except.mzn
+%%DATADIR%%/std/all_different_except_0.mzn
 %%DATADIR%%/std/all_different_int.mzn
+%%DATADIR%%/std/all_different_int.mzn.deprecated.mzn
 %%DATADIR%%/std/all_different_set.mzn
+%%DATADIR%%/std/all_different_set.mzn.deprecated.mzn
 %%DATADIR%%/std/all_disjoint.mzn
 %%DATADIR%%/std/all_equal.mzn
 %%DATADIR%%/std/all_equal_int.mzn
+%%DATADIR%%/std/all_equal_int.mzn.deprecated.mzn
 %%DATADIR%%/std/all_equal_set.mzn
+%%DATADIR%%/std/all_equal_set.mzn.deprecated.mzn
 %%DATADIR%%/std/alldifferent.mzn
 %%DATADIR%%/std/alldifferent_except.mzn
 %%DATADIR%%/std/alldifferent_except_0.mzn
@@ -234,15 +227,23 @@ lib/libmzn.so
 %%DATADIR%%/std/analyse_all_different.mzn
 %%DATADIR%%/std/arg_max.mzn
 %%DATADIR%%/std/arg_max_bool.mzn
+%%DATADIR%%/std/arg_max_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/arg_max_float.mzn
+%%DATADIR%%/std/arg_max_float.mzn.deprecated.mzn
 %%DATADIR%%/std/arg_max_int.mzn
+%%DATADIR%%/std/arg_max_int.mzn.deprecated.mzn
 %%DATADIR%%/std/arg_min.mzn
 %%DATADIR%%/std/arg_min_bool.mzn
+%%DATADIR%%/std/arg_min_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/arg_min_float.mzn
+%%DATADIR%%/std/arg_min_float.mzn.deprecated.mzn
 %%DATADIR%%/std/arg_min_int.mzn
+%%DATADIR%%/std/arg_min_int.mzn.deprecated.mzn
 %%DATADIR%%/std/arg_sort.mzn
 %%DATADIR%%/std/arg_sort_float.mzn
+%%DATADIR%%/std/arg_sort_float.mzn.deprecated.mzn
 %%DATADIR%%/std/arg_sort_int.mzn
+%%DATADIR%%/std/arg_sort_int.mzn.deprecated.mzn
 %%DATADIR%%/std/at_least.mzn
 %%DATADIR%%/std/at_least.mzn.deprecated.mzn
 %%DATADIR%%/std/at_least_int.mzn
@@ -261,7 +262,7 @@ lib/libmzn.so
 %%DATADIR%%/std/bin_packing_load_fn.mzn
 %%DATADIR%%/std/bounded_path.mzn
 %%DATADIR%%/std/circuit.mzn
-%%DATADIR%%/std/comparison_rel_array.mzn
+%%DATADIR%%/std/circuit_opt.mzn
 %%DATADIR%%/std/connected.mzn
 %%DATADIR%%/std/cost_mdd.mzn
 %%DATADIR%%/std/cost_regular.mzn
@@ -278,9 +279,13 @@ lib/libmzn.so
 %%DATADIR%%/std/dag.mzn
 %%DATADIR%%/std/decreasing.mzn
 %%DATADIR%%/std/decreasing_bool.mzn
+%%DATADIR%%/std/decreasing_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/decreasing_float.mzn
+%%DATADIR%%/std/decreasing_float.mzn.deprecated.mzn
 %%DATADIR%%/std/decreasing_int.mzn
+%%DATADIR%%/std/decreasing_int.mzn.deprecated.mzn
 %%DATADIR%%/std/decreasing_set.mzn
+%%DATADIR%%/std/decreasing_set.mzn.deprecated.mzn
 %%DATADIR%%/std/diffn.mzn
 %%DATADIR%%/std/diffn_k.mzn
 %%DATADIR%%/std/diffn_nonstrict.mzn
@@ -294,9 +299,13 @@ lib/libmzn.so
 %%DATADIR%%/std/distribute_fn.mzn
 %%DATADIR%%/std/element.mzn
 %%DATADIR%%/std/element_bool.mzn
+%%DATADIR%%/std/element_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/element_float.mzn
+%%DATADIR%%/std/element_float.mzn.deprecated.mzn
 %%DATADIR%%/std/element_int.mzn
+%%DATADIR%%/std/element_int.mzn.deprecated.mzn
 %%DATADIR%%/std/element_set.mzn
+%%DATADIR%%/std/element_set.mzn.deprecated.mzn
 %%DATADIR%%/std/exactly.mzn
 %%DATADIR%%/std/exactly.mzn.deprecated.mzn
 %%DATADIR%%/std/exactly_int.mzn
@@ -304,6 +313,7 @@ lib/libmzn.so
 %%DATADIR%%/std/experimental.mzn
 %%DATADIR%%/std/flatzinc_builtins.mzn
 %%DATADIR%%/std/fzn_all_different_int.mzn
+%%DATADIR%%/std/fzn_all_different_int_opt.mzn
 %%DATADIR%%/std/fzn_all_different_int_reif.mzn
 %%DATADIR%%/std/fzn_all_different_set.mzn
 %%DATADIR%%/std/fzn_all_different_set_reif.mzn
@@ -322,15 +332,25 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_among.mzn
 %%DATADIR%%/std/fzn_among_reif.mzn
 %%DATADIR%%/std/fzn_arg_max_bool.mzn
+%%DATADIR%%/std/fzn_arg_max_bool_opt.mzn
 %%DATADIR%%/std/fzn_arg_max_float.mzn
+%%DATADIR%%/std/fzn_arg_max_float_opt.mzn
 %%DATADIR%%/std/fzn_arg_max_int.mzn
+%%DATADIR%%/std/fzn_arg_max_int_opt.mzn
 %%DATADIR%%/std/fzn_arg_min_bool.mzn
+%%DATADIR%%/std/fzn_arg_min_bool_opt.mzn
 %%DATADIR%%/std/fzn_arg_min_float.mzn
+%%DATADIR%%/std/fzn_arg_min_float_opt.mzn
 %%DATADIR%%/std/fzn_arg_min_int.mzn
+%%DATADIR%%/std/fzn_arg_min_int_opt.mzn
 %%DATADIR%%/std/fzn_arg_sort_float.mzn
 %%DATADIR%%/std/fzn_arg_sort_float_reif.mzn
 %%DATADIR%%/std/fzn_arg_sort_int.mzn
 %%DATADIR%%/std/fzn_arg_sort_int_reif.mzn
+%%DATADIR%%/std/fzn_array_int_union.mzn
+%%DATADIR%%/std/fzn_array_opt_int_union.mzn
+%%DATADIR%%/std/fzn_array_set_intersect.mzn
+%%DATADIR%%/std/fzn_array_set_union.mzn
 %%DATADIR%%/std/fzn_at_least_int.mzn
 %%DATADIR%%/std/fzn_at_least_int_reif.mzn
 %%DATADIR%%/std/fzn_at_least_set.mzn
@@ -356,6 +376,8 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_bounded_path_int.mzn
 %%DATADIR%%/std/fzn_bounded_path_int_reif.mzn
 %%DATADIR%%/std/fzn_circuit.mzn
+%%DATADIR%%/std/fzn_circuit_opt.mzn
+%%DATADIR%%/std/fzn_circuit_opt_reif.mzn
 %%DATADIR%%/std/fzn_circuit_reif.mzn
 %%DATADIR%%/std/fzn_connected.mzn
 %%DATADIR%%/std/fzn_connected_reif.mzn
@@ -389,6 +411,7 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_count_neq_reif.mzn
 %%DATADIR%%/std/fzn_cumulative.mzn
 %%DATADIR%%/std/fzn_cumulative_opt.mzn
+%%DATADIR%%/std/fzn_cumulative_opt_decomp.mzn
 %%DATADIR%%/std/fzn_cumulative_opt_reif.mzn
 %%DATADIR%%/std/fzn_cumulative_reif.mzn
 %%DATADIR%%/std/fzn_dag.mzn
@@ -419,6 +442,7 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_disjunctive_reif.mzn
 %%DATADIR%%/std/fzn_disjunctive_strict.mzn
 %%DATADIR%%/std/fzn_disjunctive_strict_opt.mzn
+%%DATADIR%%/std/fzn_disjunctive_strict_opt_decomp.mzn
 %%DATADIR%%/std/fzn_disjunctive_strict_opt_reif.mzn
 %%DATADIR%%/std/fzn_disjunctive_strict_reif.mzn
 %%DATADIR%%/std/fzn_distribute.mzn
@@ -453,11 +477,15 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_geost_smallest_bb_reif.mzn
 %%DATADIR%%/std/fzn_global_cardinality.mzn
 %%DATADIR%%/std/fzn_global_cardinality_closed.mzn
+%%DATADIR%%/std/fzn_global_cardinality_closed_opt.mzn
 %%DATADIR%%/std/fzn_global_cardinality_closed_reif.mzn
 %%DATADIR%%/std/fzn_global_cardinality_low_up.mzn
 %%DATADIR%%/std/fzn_global_cardinality_low_up_closed.mzn
+%%DATADIR%%/std/fzn_global_cardinality_low_up_closed_opt.mzn
 %%DATADIR%%/std/fzn_global_cardinality_low_up_closed_reif.mzn
+%%DATADIR%%/std/fzn_global_cardinality_low_up_opt.mzn
 %%DATADIR%%/std/fzn_global_cardinality_low_up_reif.mzn
+%%DATADIR%%/std/fzn_global_cardinality_opt.mzn
 %%DATADIR%%/std/fzn_global_cardinality_reif.mzn
 %%DATADIR%%/std/fzn_if_then_else_bool.mzn
 %%DATADIR%%/std/fzn_if_then_else_float.mzn
@@ -475,6 +503,7 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_if_then_else_var_opt_int.mzn
 %%DATADIR%%/std/fzn_if_then_else_var_set.mzn
 %%DATADIR%%/std/fzn_increasing_bool.mzn
+%%DATADIR%%/std/fzn_increasing_bool_opt.mzn
 %%DATADIR%%/std/fzn_increasing_bool_reif.mzn
 %%DATADIR%%/std/fzn_increasing_float.mzn
 %%DATADIR%%/std/fzn_increasing_float_reif.mzn
@@ -487,6 +516,7 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_inverse.mzn
 %%DATADIR%%/std/fzn_inverse_in_range.mzn
 %%DATADIR%%/std/fzn_inverse_in_range_reif.mzn
+%%DATADIR%%/std/fzn_inverse_opt.mzn
 %%DATADIR%%/std/fzn_inverse_reif.mzn
 %%DATADIR%%/std/fzn_inverse_set.mzn
 %%DATADIR%%/std/fzn_inverse_set_reif.mzn
@@ -566,6 +596,7 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_regular_regexp.mzn
 %%DATADIR%%/std/fzn_regular_reif.mzn
 %%DATADIR%%/std/fzn_regular_set.mzn
+%%DATADIR%%/std/fzn_regular_set.mzn.deprecated.mzn
 %%DATADIR%%/std/fzn_regular_set_reif.mzn
 %%DATADIR%%/std/fzn_roots.mzn
 %%DATADIR%%/std/fzn_roots_reif.mzn
@@ -618,6 +649,7 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_tree_int.mzn
 %%DATADIR%%/std/fzn_tree_int_reif.mzn
 %%DATADIR%%/std/fzn_value_precede_chain_int.mzn
+%%DATADIR%%/std/fzn_value_precede_chain_int_opt.mzn
 %%DATADIR%%/std/fzn_value_precede_chain_int_reif.mzn
 %%DATADIR%%/std/fzn_value_precede_chain_set.mzn
 %%DATADIR%%/std/fzn_value_precede_chain_set_reif.mzn
@@ -639,14 +671,26 @@ lib/libmzn.so
 %%DATADIR%%/std/global_cardinality_closed.mzn
 %%DATADIR%%/std/global_cardinality_closed_fn.mzn
 %%DATADIR%%/std/global_cardinality_fn.mzn
+%%DATADIR%%/std/global_cardinality_low_up.deprecated.mzn
 %%DATADIR%%/std/global_cardinality_low_up.mzn
+%%DATADIR%%/std/global_cardinality_low_up_closed.deprecated.mzn
 %%DATADIR%%/std/global_cardinality_low_up_closed.mzn
 %%DATADIR%%/std/globals.mzn
+%%DATADIR%%/std/ide/vis.mzn
+%%DATADIR%%/std/ide/vis_bar.html
+%%DATADIR%%/std/ide/vis_gantt.html
+%%DATADIR%%/std/ide/vis_geost.html
+%%DATADIR%%/std/ide/vis_network.html
+%%DATADIR%%/std/ide/vis_scatter.html
 %%DATADIR%%/std/increasing.mzn
 %%DATADIR%%/std/increasing_bool.mzn
+%%DATADIR%%/std/increasing_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/increasing_float.mzn
+%%DATADIR%%/std/increasing_float.mzn.deprecated.mzn
 %%DATADIR%%/std/increasing_int.mzn
+%%DATADIR%%/std/increasing_int.mzn.deprecated.mzn
 %%DATADIR%%/std/increasing_set.mzn
+%%DATADIR%%/std/increasing_set.mzn.deprecated.mzn
 %%DATADIR%%/std/int_set_channel.mzn
 %%DATADIR%%/std/inverse.mzn
 %%DATADIR%%/std/inverse_fn.mzn
@@ -660,38 +704,57 @@ lib/libmzn.so
 %%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_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_chain_less_int.mzn
+%%DATADIR%%/std/lex_chain_less_int.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_chain_lesseq.mzn
 %%DATADIR%%/std/lex_chain_lesseq_bool.mzn
+%%DATADIR%%/std/lex_chain_lesseq_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_chain_lesseq_int.mzn
+%%DATADIR%%/std/lex_chain_lesseq_int.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_chain_lesseq_orbitope.mzn
 %%DATADIR%%/std/lex_greater.mzn
 %%DATADIR%%/std/lex_greatereq.mzn
 %%DATADIR%%/std/lex_less.mzn
 %%DATADIR%%/std/lex_less_bool.mzn
+%%DATADIR%%/std/lex_less_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_less_float.mzn
+%%DATADIR%%/std/lex_less_float.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_less_int.mzn
+%%DATADIR%%/std/lex_less_int.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_less_set.mzn
+%%DATADIR%%/std/lex_less_set.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_lesseq.mzn
 %%DATADIR%%/std/lex_lesseq_bool.mzn
+%%DATADIR%%/std/lex_lesseq_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_lesseq_float.mzn
+%%DATADIR%%/std/lex_lesseq_float.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_lesseq_int.mzn
+%%DATADIR%%/std/lex_lesseq_int.mzn.deprecated.mzn
 %%DATADIR%%/std/lex_lesseq_set.mzn
+%%DATADIR%%/std/lex_lesseq_set.mzn.deprecated.mzn
 %%DATADIR%%/std/link_set_to_booleans.mzn
 %%DATADIR%%/std/maximum.mzn
 %%DATADIR%%/std/mdd.mzn
 %%DATADIR%%/std/mdd_nondet.mzn
 %%DATADIR%%/std/member.mzn
 %%DATADIR%%/std/member_bool.mzn
+%%DATADIR%%/std/member_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/member_float.mzn
+%%DATADIR%%/std/member_float.mzn.deprecated.mzn
 %%DATADIR%%/std/member_int.mzn
+%%DATADIR%%/std/member_int.mzn.deprecated.mzn
 %%DATADIR%%/std/member_set.mzn
+%%DATADIR%%/std/member_set.mzn.deprecated.mzn
 %%DATADIR%%/std/minimum.mzn
 %%DATADIR%%/std/network_flow.mzn
 %%DATADIR%%/std/neural_net.mzn
 %%DATADIR%%/std/nosets.mzn
 %%DATADIR%%/std/nvalue.mzn
 %%DATADIR%%/std/nvalue_fn.mzn
+%%DATADIR%%/std/output.mzn
+%%DATADIR%%/std/output/array2d_bool.mzn
+%%DATADIR%%/std/output/gantt.mzn
 %%DATADIR%%/std/partition_set.mzn
 %%DATADIR%%/std/path.mzn
 %%DATADIR%%/std/piecewise_linear.mzn
@@ -706,6 +769,7 @@ lib/libmzn.so
 %%DATADIR%%/std/redefinitions-2.2.1.mzn
 %%DATADIR%%/std/redefinitions-2.3.3.mzn
 %%DATADIR%%/std/redefinitions-2.5.2.mzn
+%%DATADIR%%/std/redefinitions-2.5.6.mzn
 %%DATADIR%%/std/redefinitions.mzn
 %%DATADIR%%/std/regular.mzn
 %%DATADIR%%/std/regular_nfa.mzn
@@ -749,14 +813,20 @@ lib/libmzn.so
 %%DATADIR%%/std/symmetric_all_different.mzn
 %%DATADIR%%/std/table.mzn
 %%DATADIR%%/std/table_bool.mzn
+%%DATADIR%%/std/table_bool.mzn.deprecated.mzn
 %%DATADIR%%/std/table_int.mzn
+%%DATADIR%%/std/table_int.mzn.deprecated.mzn
 %%DATADIR%%/std/tree.mzn
 %%DATADIR%%/std/value_precede.mzn
 %%DATADIR%%/std/value_precede_chain.mzn
 %%DATADIR%%/std/value_precede_chain_int.mzn
+%%DATADIR%%/std/value_precede_chain_int.mzn.deprecated.mzn
 %%DATADIR%%/std/value_precede_chain_set.mzn
+%%DATADIR%%/std/value_precede_chain_set.mzn.deprecated.mzn
 %%DATADIR%%/std/value_precede_int.mzn
+%%DATADIR%%/std/value_precede_int.mzn.deprecated.mzn
 %%DATADIR%%/std/value_precede_set.mzn
+%%DATADIR%%/std/value_precede_set.mzn.deprecated.mzn
 %%DATADIR%%/std/weighted_spanning_tree.mzn
 %%DATADIR%%/std/write.mzn
 %%DATADIR%%/std/writes.mzn