diff --git a/math/minizinc-ide/distinfo b/math/minizinc-ide/distinfo
index 77bfe8a92d13..b4f1bd1f1b70 100644
--- a/math/minizinc-ide/distinfo
+++ b/math/minizinc-ide/distinfo
@@ -1,5 +1,5 @@
-TIMESTAMP = 1645550395
-SHA256 (MiniZinc-MiniZincIDE-2.6.0_GH0.tar.gz) = 60055b5e70bf7ade79217d19007faa42a269220401081b6835e55941f84cb802
-SIZE (MiniZinc-MiniZincIDE-2.6.0_GH0.tar.gz) = 818757
+TIMESTAMP = 1646008512
+SHA256 (MiniZinc-MiniZincIDE-2.6.0_GH0.tar.gz) = bd1b7642804c0b7e3d9b4690ad2ba8bdbcc5465dface2f78ed941d7a334a6d5c
+SIZE (MiniZinc-MiniZincIDE-2.6.0_GH0.tar.gz) = 818744
 SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128
 SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217