diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-11-29 10:27:08 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-11-29 10:27:08 +0000 |
commit | 439341bd2a40525c5fa215f862bac893d933aaf7 (patch) | |
tree | 5535cca7d14d000e01412fdee200d63de387df96 /math/minizinc-ide | |
parent | 1414404366de7307a606f51be68abeea2c9768ba (diff) | |
download | ports-439341bd2a40525c5fa215f862bac893d933aaf7.tar.gz ports-439341bd2a40525c5fa215f862bac893d933aaf7.zip |
math/minizinc-ide: Update 2.5.2 -> 2.5.3
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=556560
Diffstat (limited to 'math/minizinc-ide')
-rw-r--r-- | math/minizinc-ide/Makefile | 2 | ||||
-rw-r--r-- | math/minizinc-ide/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/math/minizinc-ide/Makefile b/math/minizinc-ide/Makefile index 98393b551f5d..e224e9d3fac5 100644 --- a/math/minizinc-ide/Makefile +++ b/math/minizinc-ide/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= minizinc-ide -DISTVERSION= 2.5.2 +DISTVERSION= 2.5.3 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo index 0f9df1eab323..9bb1241b5597 100644 --- a/math/minizinc-ide/distinfo +++ b/math/minizinc-ide/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1605228428 -SHA256 (MiniZinc-MiniZincIDE-2.5.2_GH0.tar.gz) = 6db1440ef130ffd329003a6bc7a3f7416f5692532e65955122e7d1c2f8307c82 -SIZE (MiniZinc-MiniZincIDE-2.5.2_GH0.tar.gz) = 798196 +TIMESTAMP = 1606631072 +SHA256 (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 98f7a333152b8783650e8f973816abe0ea2945ce250781b1b0da51d728daa4b3 +SIZE (MiniZinc-MiniZincIDE-2.5.3_GH0.tar.gz) = 798423 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296 |