git: 0773fd9dc5d1 - main - math/gecode: Update 6.3.0 to the latest commits

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Tue, 22 Feb 2022 18:00:36 UTC
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=0773fd9dc5d128c826fadc929ed1e90fb15105a0

commit 0773fd9dc5d128c826fadc929ed1e90fb15105a0
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-02-22 17:46:57 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-02-22 18:00:28 +0000

    math/gecode: Update 6.3.0 to the latest commits
    
    6.3.0 is not yet officially releasedm and exists in a branch.
---
 math/gecode/Makefile  | 4 ++--
 math/gecode/distinfo  | 6 +++---
 math/gecode/pkg-plist | 2 ++
 3 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/math/gecode/Makefile b/math/gecode/Makefile
index 6e1d3e02877c..2e3b16700a58 100644
--- a/math/gecode/Makefile
+++ b/math/gecode/Makefile
@@ -3,7 +3,7 @@
 PORTNAME=	gecode
 DISTVERSIONPREFIX=	release-
 DISTVERSION=	6.3.0
-PORTREVISION=	5
+PORTREVISION=	6
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -24,7 +24,7 @@ CONFIGURE_ARGS=	--disable-examples
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	Gecode
-GH_TAGNAME=	0916a1a # 6.3.0 branch is ready for a long time, but hasn't been tagged yet
+GH_TAGNAME=	6b09bea # 6.3.0 branch is ready for a long time, but hasn't been tagged yet
 
 DATADIR=	${PREFIX}/share/minizinc/gecode # it only installs the MiniZinc library into DATADIR
 
diff --git a/math/gecode/distinfo b/math/gecode/distinfo
index a2f2e48fb60a..9992e505651c 100644
--- a/math/gecode/distinfo
+++ b/math/gecode/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1621712428
-SHA256 (Gecode-gecode-release-6.3.0-0916a1a_GH0.tar.gz) = aa70f416acfee470b92ef08bc435a469ed2d3828c532797521bf5e249786ec6c
-SIZE (Gecode-gecode-release-6.3.0-0916a1a_GH0.tar.gz) = 5727356
+TIMESTAMP = 1645549139
+SHA256 (Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz) = 9cbbc937745042749770cbf514d475287e1e5248747af73f430365fbd593efa3
+SIZE (Gecode-gecode-release-6.3.0-6b09bea_GH0.tar.gz) = 5730870
diff --git a/math/gecode/pkg-plist b/math/gecode/pkg-plist
index 8a8ecf388061..93994bd738c5 100644
--- a/math/gecode/pkg-plist
+++ b/math/gecode/pkg-plist
@@ -755,11 +755,13 @@ include/gecode/third-party/boost/type.hpp
 %%FLATZINC%%%%DATADIR%%/fzn_count_eq.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_count_eq_reif.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_cumulative.mzn
+%%FLATZINC%%%%DATADIR%%/fzn_cumulative_opt.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_decreasing_bool.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_decreasing_int.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_diffn.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_disjoint.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_disjunctive_strict.mzn
+%%FLATZINC%%%%DATADIR%%/fzn_disjunctive_strict_opt.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_exactly_set.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_global_cardinality.mzn
 %%FLATZINC%%%%DATADIR%%/fzn_global_cardinality_closed.mzn