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 0cb1d5aa7f6e..3768ac1b3d75 100644 --- a/math/minizinc/distinfo +++ b/math/minizinc/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1706892856 -SHA256 (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 151ec26165abfb13d709d89be92b3f9bbb5ba3873b8ecf9d88ac15f31042628f -SIZE (MiniZinc-libminizinc-2.8.3_GH0.tar.gz) = 8029275 +TIMESTAMP = 1727937266 +SHA256 (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 91413c9788d45eb77ecb1da9657c00744312cca4fd5e71ca2583c35a32a3be62 +SIZE (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 8059507 |