spark2014: use glibc 2.31 version of Z3

alire-project · Jun 3, 2024 · 90a24ab · 90a24ab
1 parent 39805b7
commit 90a24ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/spark2014.anod b/specs/spark2014.anod
@@ -54,7 +54,7 @@ class SPARK2014(spec("common")):
         elif self.env.host.os.name == "darwin":
             fn = "z3-4.13.0-arm64-osx-11.0.zip"
         else:
-            fn = "z3-4.13.0-x64-glibc-2.35.zip"
+            fn = "z3-4.13.0-x64-glibc-2.31.zip"
         return fn
 
     @property