diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-05-22 20:11:37 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-05-22 20:12:19 +0000 |
commit | 4e7cba27a5ddd708d43a36b1d1888fa74237513e (patch) | |
tree | 611696ede6e8a0c0c7239a4d1574acd04d660673 /math | |
parent | ccf09289e64d1ee83290bfcd8cad14f7b7bad24e (diff) | |
download | ports-4e7cba27a5ddd708d43a36b1d1888fa74237513e.tar.gz ports-4e7cba27a5ddd708d43a36b1d1888fa74237513e.zip |
math/gecode: Chase fixes in not yet officially released 6.3.0
Diffstat (limited to 'math')
-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 |