From 24d60f32f9767c0a5fff022ec00237407a05ff41 Mon Sep 17 00:00:00 2001
From: odow <o.dowson@gmail.com>
Date: Sat, 23 Sep 2023 12:39:33 +1200
Subject: [PATCH] Update MiniZinc version

---
 docs/packages.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/packages.toml b/docs/packages.toml
index 45dfa35e72c..af1163e69e4 100644
--- 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]