diff options
Diffstat (limited to 'math/minizinc-ide/distinfo')
| -rw-r--r-- | math/minizinc-ide/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo index 521111be5e9e..4125cca2a8d5 100644 --- a/math/minizinc-ide/distinfo +++ b/math/minizinc-ide/distinfo @@ -1,5 +1,5 @@ -TIMESTAMP = 1615914008 -SHA256 (MiniZinc-MiniZincIDE-2.5.4_GH0.tar.gz) = db8b0b5e621064a9a79e927ec79b023cafeed337164bc7f91d840da5a0d5ba9a -SIZE (MiniZinc-MiniZincIDE-2.5.4_GH0.tar.gz) = 799619 +TIMESTAMP = 1616977346 +SHA256 (MiniZinc-MiniZincIDE-2.5.5_GH0.tar.gz) = 344363acd0190d056b4e5ca9ffe75d56e5e0cf3a26a968d1ede66b35891017c2 +SIZE (MiniZinc-MiniZincIDE-2.5.5_GH0.tar.gz) = 799661 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 48593394ab4365445982378dd92b8db98fa917228d7fbe85b60ae04d6f22d57c SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5296 |