diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-11-13 01:22:38 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-11-13 01:22:38 +0000 |
commit | 4df8671db6a40dfc480f4f92b134c70040d478cf (patch) | |
tree | a56e5ad20ead2cda71fb96f9293cf19a9f628352 /math/minizinc-ide | |
parent | math/minizinc: Update 2.5.1 -> 2.5.2 (diff) |
math/minizinc-ide: Update 2.5.1 -> 2.5.2
Reported by: portscout
Notes
Notes:
svn path=/head/; revision=554998
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 1967b3bbb5f2..98393b551f5d 100644 --- a/math/minizinc-ide/Makefile +++ b/math/minizinc-ide/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= minizinc-ide -DISTVERSION= 2.5.1 +DISTVERSION= 2.5.2 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo index 5394085e543d..0f9df1eab323 100644 --- a/math/minizinc-ide/distinfo +++ b/math/minizinc-ide/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1603648688 -SHA256 (MiniZinc-MiniZincIDE-2.5.1_GH0.tar.gz) = 5ef9122cd7b31b65c26a5e55c40dfddd5fcbb835453f5e8eaf8897de35609bd0 -SIZE (MiniZinc-MiniZincIDE-2.5.1_GH0.tar.gz) = 795362 +TIMESTAMP = 1605228428 +SHA256 (MiniZinc-MiniZincIDE-2.5.2_GH0.tar.gz) = 6db1440ef130ffd329003a6bc7a3f7416f5692532e65955122e7d1c2f8307c82 +SIZE (MiniZinc-MiniZincIDE-2.5.2_GH0.tar.gz) = 798196 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296 |