diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-05-22 13:11:37 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-05-22 13:12:19 -0700 |
| commit | 4e7cba27a5ddd708d43a36b1d1888fa74237513e (patch) | |
| tree | 611696ede6e8a0c0c7239a4d1574acd04d660673 /math/gecode | |
| parent | editors/micro: Fix distinfo (diff) | |
math/gecode: Chase fixes in not yet officially released 6.3.0
Diffstat (limited to 'math/gecode')
| -rw-r--r-- | math/gecode/Makefile | 4 | ||||
| -rw-r--r-- | math/gecode/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/math/gecode/Makefile b/math/gecode/Makefile index 9c0a79998508..7d41d89cd100 100644 --- a/math/gecode/Makefile +++ b/math/gecode/Makefile @@ -3,7 +3,7 @@ PORTNAME= gecode DISTVERSIONPREFIX= release- DISTVERSION= 6.3.0 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -24,7 +24,7 @@ CONFIGURE_ARGS= --disable-examples USE_GITHUB= yes GH_ACCOUNT= Gecode -GH_TAGNAME= ad52315 # 6.3.0 branch is ready for a long time, but hasn't been tagged yet +GH_TAGNAME= 0916a1a # 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 c429a6f6d278..a2f2e48fb60a 100644 --- a/math/gecode/distinfo +++ b/math/gecode/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1621190316 -SHA256 (Gecode-gecode-release-6.3.0-ad52315_GH0.tar.gz) = 9877c4733f541cb3927f989fd964146cda65fedd03b74c5eac1555322936aaca -SIZE (Gecode-gecode-release-6.3.0-ad52315_GH0.tar.gz) = 5727084 +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 |