diff options
Diffstat (limited to 'math/minizinc/distinfo')
-rw-r--r-- | math/minizinc/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/math/minizinc/distinfo b/math/minizinc/distinfo index 89d30fdefdaf..0cb1d5aa7f6e 100644 --- a/math/minizinc/distinfo +++ b/math/minizinc/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1703218580 -SHA256 (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = e8b5c037e1d9711803e05ef6eaf416d5ed080f57cc0867d3c6ec3b1304bfd375 -SIZE (MiniZinc-libminizinc-2.8.2_GH0.tar.gz) = 8026563 +TIMESTAMP = 1706892856 +SHA256 (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 151ec26165abfb13d709d89be92b3f9bbb5ba3873b8ecf9d88ac15f31042628f +SIZE (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 8029275 |