math/minizinc-ide: update 2.8.2 → 2.8.3
Reported by: portscout
This commit is contained in:
parent
65c7d5d91c
commit
9be11d8c67
|
@ -1,5 +1,5 @@
|
|||
PORTNAME= minizinc-ide
|
||||
DISTVERSION= 2.8.2
|
||||
DISTVERSION= 2.8.3
|
||||
CATEGORIES= math lang
|
||||
|
||||
MAINTAINER= yuri@FreeBSD.org
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue