Update to MiniZinc_jll@2.8.5 (#75)

odow · web-flow · commit 8c7a7d36da7a · 2024-07-17T17:13:28.000+12:00
diff --git a/Project.toml b/Project.toml
@@ -11,7 +11,7 @@ MiniZinc_jll = "3677d96b-3d39-5184-a844-8e8b2839af35"
 [compat]
 Chuffed_jll = "=0.10.4, =0.13.2"
 MathOptInterface = "1.21"
-MiniZinc_jll = "=2.7.6"
+MiniZinc_jll = "=2.7.6, =2.8.5"
 Test = "<0.0.1, 1.6"
 julia = "1.6"
 
