build: updated minizinc version from 2.8.3 to 2.8.5

This is to have a consistent MiniZinc version across AutoIG and Conjure (AutoIG uses 2.8.5 which was released on 3 June 2024).
conjure-cp · Nov 20, 2024 · 36fbdbd · 36fbdbd
1 parent 4bae499
commit 36fbdbd
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/etc/build/install-minizinc.sh b/etc/build/install-minizinc.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
-# version as of 23 February 2024
-VERSION=2.8.3
+# version as of 3 June 2024
+VERSION=2.8.5
 set -o errexit
 set -o nounset