math/minizinc: Update 2.5.3 -> 2.5.5
Reported by: portscout
This commit is contained in:
parent
3b35823cd1
commit
bbde1ed31b
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=569424
3 changed files with 37 additions and 6 deletions
|
@ -1,7 +1,7 @@
|
|||
# $FreeBSD$
|
||||
|
||||
PORTNAME= minizinc
|
||||
DISTVERSION= 2.5.3
|
||||
DISTVERSION= 2.5.5
|
||||
CATEGORIES= math lang
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue