From 90a24ab6ea332818aa0736b58d506a60de47e119 Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <chouteau@adacore.com>
Date: Mon, 3 Jun 2024 10:49:16 +0200
Subject: [PATCH] spark2014: use glibc 2.31 version of Z3

---
 specs/spark2014.anod | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specs/spark2014.anod b/specs/spark2014.anod
index 1fd438f..0f38520 100644
--- 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