From 875c6127d0480d5919526eb4736cf45d5a71dc0c Mon Sep 17 00:00:00 2001 From: Richard Top Date: Thu, 24 Apr 2025 08:07:14 +0000 Subject: [PATCH 1/2] {2023.06}[2023a,grace] Z3 v4.12.2 in 2023a easystack --- .../2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml diff --git a/easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml b/easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml new file mode 100644 index 0000000000..fe03c312bb --- /dev/null +++ b/easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml @@ -0,0 +1,3 @@ +easyconfigs: +#This is an outdated version of the Z3-4.12.2-GCCcore-12.3.0 easyconfig, adding it to keep sync with the other stacks + - Z3-4.12.2-GCCcore-12.3.0-Python-3.11.3.eb From a12ba30348f45c42ab75ea768f13b79d275b2a13 Mon Sep 17 00:00:00 2001 From: Richard Top Date: Thu, 24 Apr 2025 09:18:21 +0000 Subject: [PATCH 2/2] added description --- .../2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml b/easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml index fe03c312bb..fa1b9b388e 100644 --- a/easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml +++ b/easystacks/software.eessi.io/2023.06/grace/eessi-2023.06-eb-4.9.0-2023a.yml @@ -1,3 +1,4 @@ easyconfigs: #This is an outdated version of the Z3-4.12.2-GCCcore-12.3.0 easyconfig, adding it to keep sync with the other stacks +#see https://github.com/easybuilders/easybuild-easyconfigs/pull/20050 - Z3-4.12.2-GCCcore-12.3.0-Python-3.11.3.eb