From f96f81531b7cfab898e76f602740fdb8fe2b6ec0 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 9 Nov 2023 18:46:30 +0000
Subject: [PATCH 1/2] llvm-backend/src/main/native/llvm-backend: Set Version
 0e24009e09ac3f96b796a9bb11d078dc3b49fdc3

---
 llvm-backend/src/main/native/llvm-backend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/llvm-backend/src/main/native/llvm-backend b/llvm-backend/src/main/native/llvm-backend
index cb8fe609ba0..0e24009e09a 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit cb8fe609ba0a9894b207c14da9e88bf311978d4c
+Subproject commit 0e24009e09ac3f96b796a9bb11d078dc3b49fdc3

From 78908a18a7da4c3b3b569868cb962b4af425349a Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 9 Nov 2023 18:47:49 +0000
Subject: [PATCH 2/2] flake.nix, flake.lock: update

---
 flake.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/flake.lock b/flake.lock
index e70422a15ff..3e9c95ed818 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1699324123,
-        "narHash": "sha256-1BPe87ABW1FSe/sBdN3vy2y4gWQM9GsPysBuMlElRnM=",
+        "lastModified": 1699555417,
+        "narHash": "sha256-ViA4Q9ZQx+Mvx1LVWG9QZQldhbJimDqXgkTJUWXX3wg=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "cb8fe609ba0a9894b207c14da9e88bf311978d4c",
+        "rev": "0e24009e09ac3f96b796a9bb11d078dc3b49fdc3",
         "type": "github"
       },
       "original": {