diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-02-02 14:58:57 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-02-02 14:58:57 +0000 |
| commit | 9be11d8c6779f6dd86ac465939f427b1145b7e55 (patch) | |
| tree | cf8c52d0a8c571500fcda94ed3617c1e6d583eb9 | |
| parent | 65c7d5d91c2c29a60092b29f7e876eee18f86cb9 (diff) | |
| download | ports-9be11d8c6779f6dd86ac465939f427b1145b7e55.tar.gz ports-9be11d8c6779f6dd86ac465939f427b1145b7e55.zip | |
math/minizinc-ide: update 2.8.2 → 2.8.3
Reported by: portscout
| -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 08cac45358f5..02c852412b15 100644 --- a/math/minizinc-ide/Makefile +++ b/math/minizinc-ide/Makefile @@ -1,5 +1,5 @@ PORTNAME= minizinc-ide -DISTVERSION= 2.8.2 +DISTVERSION= 2.8.3 CATEGORIES= math lang MAINTAINER= yuri@FreeBSD.org diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo index 2ca1bf944715..5a04d8becfbf 100644 --- a/math/minizinc-ide/distinfo +++ b/math/minizinc-ide/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1703218806 -SHA256 (MiniZinc-MiniZincIDE-2.8.2_GH0.tar.gz) = 05b07dd1b6f93ad639531ecc92d238b275555ea4adff8b1b9fff159ad69614e0 -SIZE (MiniZinc-MiniZincIDE-2.8.2_GH0.tar.gz) = 835086 +TIMESTAMP = 1706893222 +SHA256 (MiniZinc-MiniZincIDE-2.8.3_GH0.tar.gz) = d7a2e89352e53933e875ef83f5791dceefee686cf9030efc66b5b405cc704d07 +SIZE (MiniZinc-MiniZincIDE-2.8.3_GH0.tar.gz) = 841491 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128 SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217 |