Update MiniZinc version

jump-dev · Sep 23, 2023 · 24d60f3 · 24d60f3
1 parent 6b15134
commit 24d60f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/packages.toml b/docs/packages.toml
@@ -61,7 +61,7 @@
 [KNITRO]
     rev = "4c56de7684c42dd3c83c5fbc515ae1f424eed524"
 [MiniZinc]
-    rev = "v0.3.0"
+    rev = "v0.3.2"
 [MosekTools]
     rev = "v0.15.1"
 [MultiObjectiveAlgorithms]