aboutsummaryrefslogtreecommitdiff
path: root/math/minizinc/distinfo
diff options
context:
space:
mode:
Diffstat (limited to 'math/minizinc/distinfo')
-rw-r--r--math/minizinc/distinfo6
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