spark2014.anod: fix typo in z3 tarball name

alire-project · Nov 8, 2023 · 526ae8b · 526ae8b
1 parent 3d178fb
commit 526ae8b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/specs/spark2014.anod b/specs/spark2014.anod
@@ -42,7 +42,7 @@ class SPARK2014(spec("common")):
         if self.env.host.os.name == "windows":
             fn = "z3-4.12.2-x64-win.zip"
         elif self.env.host.os.name == "darwin":
-            fn = "z3-4.12.12-x64-osx-10.16.zip"
+            fn = "z3-4.12.2-x64-osx-10.16.zip"
         else:
             fn = "z3-4.12.2-x64-glibc-2.31.zip"
         return fn