From 0f6df2a8dfcfc439ffdb3b54d149a400cf105f0d Mon Sep 17 00:00:00 2001
From: Thomas Roeblitz <thomas.roblitz@uib.no>
Date: Thu, 14 Mar 2024 12:26:29 +0100
Subject: [PATCH] {2023.06}[foss/2023a] Z3 v4.12.2

---
 .../pilot.nessi.no/2023.06/eessi-2023.06-eb-4.9.0-2023a.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/easystacks/pilot.nessi.no/2023.06/eessi-2023.06-eb-4.9.0-2023a.yml b/easystacks/pilot.nessi.no/2023.06/eessi-2023.06-eb-4.9.0-2023a.yml
index ddc7f53a1e..8eeb2f8c2c 100644
--- a/easystacks/pilot.nessi.no/2023.06/eessi-2023.06-eb-4.9.0-2023a.yml
+++ b/easystacks/pilot.nessi.no/2023.06/eessi-2023.06-eb-4.9.0-2023a.yml
@@ -46,3 +46,9 @@ easyconfigs:
   - VCFtools-0.1.16-GCC-12.3.0.eb
   - BEDTools-2.31.0-GCC-12.3.0.eb
   - PLUMED-2.9.0-foss-2023a.eb
+  - Z3-4.12.2-GCCcore-12.3.0.eb:
+      options:
+        # The Z3 dependency of PyTorch had it's versionsuffix removed
+        # and we need to workaround the problem this creates,
+        # see https://github.com/EESSI/software-layer/pull/501 for details
+        from-pr: 20050