git: 212bc45ba484 - main - math/minizinc: Update 2.6.2 -> 2.6.3

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sat, 07 May 2022 06:48:46 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=212bc45ba484c594c2de5bac8cd8d3090789b34a

commit 212bc45ba484c594c2de5bac8cd8d3090789b34a
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-05-07 06:46:43 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-05-07 06:48:44 +0000

    math/minizinc: Update 2.6.2 -> 2.6.3
    
    Reported by:    portscout
---
 math/minizinc/Makefile  | 2 +-
 math/minizinc/distinfo  | 6 +++---
 math/minizinc/pkg-plist | 6 ++++--
 3 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/math/minizinc/Makefile b/math/minizinc/Makefile
index 6f7443aff75d..0a31ce856a6d 100644
--- a/math/minizinc/Makefile
+++ b/math/minizinc/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	minizinc
-DISTVERSION=	2.6.2
+DISTVERSION=	2.6.3
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo
index 8ddb4d4e52e9..b65b6024ed36 100644
--- a/math/minizinc/distinfo
+++ b/math/minizinc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1648058481
-SHA256 (MiniZinc-libminizinc-2.6.2_GH0.tar.gz) = 0893bb0d37336fdc75c5f8864135e1abc571af422df9fbd41432776cedd3ebbc
-SIZE (MiniZinc-libminizinc-2.6.2_GH0.tar.gz) = 12965958
+TIMESTAMP = 1651900540
+SHA256 (MiniZinc-libminizinc-2.6.3_GH0.tar.gz) = 740884d4eb8e7acf366efaad82efa0ca46dc4342afa5a6ecc1d749fcc4f96dd4
+SIZE (MiniZinc-libminizinc-2.6.3_GH0.tar.gz) = 12967548
diff --git a/math/minizinc/pkg-plist b/math/minizinc/pkg-plist
index ef43affb613a..98ed1711c4b8 100644
--- a/math/minizinc/pkg-plist
+++ b/math/minizinc/pkg-plist
@@ -479,14 +479,18 @@ lib/libmzn.so
 %%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_closed_set.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_closed_set.mzn
 %%DATADIR%%/std/fzn_global_cardinality_low_up_opt.mzn
 %%DATADIR%%/std/fzn_global_cardinality_low_up_reif.mzn
+%%DATADIR%%/std/fzn_global_cardinality_low_up_set.mzn
 %%DATADIR%%/std/fzn_global_cardinality_opt.mzn
 %%DATADIR%%/std/fzn_global_cardinality_reif.mzn
+%%DATADIR%%/std/fzn_global_cardinality_set.mzn
 %%DATADIR%%/std/fzn_if_then_else_bool.mzn
 %%DATADIR%%/std/fzn_if_then_else_float.mzn
 %%DATADIR%%/std/fzn_if_then_else_int.mzn
@@ -643,7 +647,6 @@ lib/libmzn.so
 %%DATADIR%%/std/fzn_table_int.mzn
 %%DATADIR%%/std/fzn_table_int_opt.mzn
 %%DATADIR%%/std/fzn_table_int_reif.mzn
-%%DATADIR%%/std/fzn_transitive_closure.mzn
 %%DATADIR%%/std/fzn_tree_enum.mzn
 %%DATADIR%%/std/fzn_tree_enum_reif.mzn
 %%DATADIR%%/std/fzn_tree_int.mzn
@@ -769,7 +772,6 @@ 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