diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-05-16 12:01:30 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-05-16 12:03:02 -0700 |
| commit | 67152ed4f83bd061a5226b6f923f6a40f09a2b0e (patch) | |
| tree | 19404758af53ca02e21a4d84d08c6612b98e1c9c /math/gecode | |
| parent | Add MOVED entry for security/bitwarden_rs (diff) | |
math/gecode: Chase some merged PRs that fix issues in 'almost' released 6.3.0
Diffstat (limited to 'math/gecode')
| -rw-r--r-- | math/gecode/Makefile | 7 | ||||
| -rw-r--r-- | math/gecode/distinfo | 8 |
2 files changed, 5 insertions, 10 deletions
diff --git a/math/gecode/Makefile b/math/gecode/Makefile index 11c71acab4f6..9c0a79998508 100644 --- a/math/gecode/Makefile +++ b/math/gecode/Makefile @@ -3,12 +3,9 @@ PORTNAME= gecode DISTVERSIONPREFIX= release- DISTVERSION= 6.3.0 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math -PATCH_SITES= https://github.com/${GH_ACCOUNT}/${PORTNAME}/commit/ -PATCHFILES= 3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch:-p1 # https://github.com/Gecode/gecode/pull/102: Fix MOC invocation in gist folder - MAINTAINER= yuri@FreeBSD.org COMMENT= Generic Constraint Development Environment @@ -27,7 +24,7 @@ CONFIGURE_ARGS= --disable-examples USE_GITHUB= yes GH_ACCOUNT= Gecode -GH_TAGNAME= 96ca4cc # 6.3.0 branch is ready for a long time, but hasn't been tagged yet +GH_TAGNAME= ad52315 # 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 bfeaa7ba3ea6..c429a6f6d278 100644 --- a/math/gecode/distinfo +++ b/math/gecode/distinfo @@ -1,5 +1,3 @@ -TIMESTAMP = 1620507794 -SHA256 (Gecode-gecode-release-6.3.0-96ca4cc_GH0.tar.gz) = 0bfeed4c42019869fc275f4cf0aab782a83dfbb0cb5bf2573902d2cda2aec140 -SIZE (Gecode-gecode-release-6.3.0-96ca4cc_GH0.tar.gz) = 5727205 -SHA256 (3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch) = 20b69c28be015dea2826f66cab7079b30768d23af9b1d30d91bb6137e3c22227 -SIZE (3b86d0dabc371d5976c5dafef0fc7f6c5f92640b.patch) = 665 +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 |