diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2022-02-22 17:46:57 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2022-02-22 18:00:28 +0000 |
| commit | 0773fd9dc5d128c826fadc929ed1e90fb15105a0 (patch) | |
| tree | 066d2cbf7ba45d4da7143a062af9bc0353424386 /math/gecode | |
| parent | 710615eef6c4e7c8a3a240ccd117d6e8498579b9 (diff) | |
Diffstat (limited to 'math/gecode')
| -rw-r--r-- | math/gecode/Makefile | 4 | ||||
| -rw-r--r-- | math/gecode/distinfo | 6 | ||||
| -rw-r--r-- | 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 |