diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-10-11 22:30:53 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-10-11 22:30:53 +0000 |
| commit | 1b1ef926e1b87af3b2de0194278009d57be3130f (patch) | |
| tree | 825a4b137f225568d573377fee05f52466063242 /math/minizinc-ide | |
| parent | ae9edf6ca572927ca2cca67770e5c383b91d81f3 (diff) | |
| download | ports-1b1ef926e1b87af3b2de0194278009d57be3130f.tar.gz ports-1b1ef926e1b87af3b2de0194278009d57be3130f.zip | |
math/minizinc-ide: Update 2.4.3 -> 2.5.0
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=552081
Diffstat (limited to 'math/minizinc-ide')
| -rw-r--r-- | math/minizinc-ide/Makefile | 9 | ||||
| -rw-r--r-- | math/minizinc-ide/distinfo | 8 |
2 files changed, 11 insertions, 6 deletions
diff --git a/math/minizinc-ide/Makefile b/math/minizinc-ide/Makefile index f377447d6534..52cc9873cff7 100644 --- a/math/minizinc-ide/Makefile +++ b/math/minizinc-ide/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= minizinc-ide -DISTVERSION= 2.4.3 +DISTVERSION= 2.5.0 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org @@ -13,12 +13,15 @@ LICENSE_FILE= ${WRKSRC}/LICENSE.txt RUN_DEPENDS= minizinc:math/minizinc USES= gl qmake qt:5 +USE_QT= core declarative gui location network printsupport sql webchannel webengine widgets buildtools_build +USE_GL= gl + USE_GITHUB= yes GH_ACCOUNT= MiniZinc GH_PROJECT= MiniZincIDE -USE_QT= core declarative gui location network printsupport webchannel webengine widgets buildtools_build -USE_GL= gl +USE_GITLAB= nodefault +GL_TUPLE= minizinc:cp-profiler-integration:f16b3132df33b3f258971f36dbe5e909983381c9:cp/cp-profiler/src/cpp-integration PLIST_FILES= bin/MiniZincIDE diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo index 851ff800f625..5b5237198c0b 100644 --- a/math/minizinc-ide/distinfo +++ b/math/minizinc-ide/distinfo @@ -1,3 +1,5 @@ -TIMESTAMP = 1597074315 -SHA256 (MiniZinc-MiniZincIDE-2.4.3_GH0.tar.gz) = 74a6149622552530478d7e499fa73c04260552bfd80f4d1b3d95b346638440a5 -SIZE (MiniZinc-MiniZincIDE-2.4.3_GH0.tar.gz) = 480166 +TIMESTAMP = 1602392912 +SHA256 (MiniZinc-MiniZincIDE-2.5.0_GH0.tar.gz) = 335b8e07bfd0a0d9d9a37424771f81475bcd3c1b3cf2e07a8fb4d8954008d035 +SIZE (MiniZinc-MiniZincIDE-2.5.0_GH0.tar.gz) = 791011 +SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c +SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296 |