From 29ecfc2a4bd21604deceb08634eeeeb539eb7e80 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 22 Dec 2023 15:45:48 +0000
Subject: [PATCH 1/4] llvm-backend/src/main/native/llvm-backend: Set Version
 dbb5820ba8757b5e679b4ea6d6f1b206e154db3a

---
 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 83a5b3015ac..dbb5820ba87 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 83a5b3015ac8816076573d3c8ac266b448b78130
+Subproject commit dbb5820ba8757b5e679b4ea6d6f1b206e154db3a

From 3c49e1aa42b5a6b698fb668fbe4d06f1019399b2 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 22 Dec 2023 15:47:57 +0000
Subject: [PATCH 2/4] flake.nix, flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 4dda1f5208a..c93d9da8eb2 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1703183218,
-        "narHash": "sha256-29Zvh5E7QF6rVejQpdris8Q4p8PfrGsMRi9HKVqsYbs=",
+        "lastModified": 1703259766,
+        "narHash": "sha256-tkySqANZP8SDOmyvQAaSqV5BuwttdfCCO7n52urdOXI=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "83a5b3015ac8816076573d3c8ac266b448b78130",
+        "rev": "dbb5820ba8757b5e679b4ea6d6f1b206e154db3a",
         "type": "github"
       },
       "original": {

From 80cefee3e5b3423634050843d1b284cda92f8ecd Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 10 Jan 2024 16:31:01 +0000
Subject: [PATCH 3/4] llvm-backend/src/main/native/llvm-backend: Set Version
 276afab5392f7a3ed000adaacfd9eea9f9825672

---
 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 dbb5820ba87..276afab5392 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit dbb5820ba8757b5e679b4ea6d6f1b206e154db3a
+Subproject commit 276afab5392f7a3ed000adaacfd9eea9f9825672

From 2d2f0e93753f52ff3b74e3993d46c35e6552e4ed Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 10 Jan 2024 16:32:14 +0000
Subject: [PATCH 4/4] flake.nix, flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 4945722be7b..c3cc26a4c1c 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1703259766,
-        "narHash": "sha256-tkySqANZP8SDOmyvQAaSqV5BuwttdfCCO7n52urdOXI=",
+        "lastModified": 1704904099,
+        "narHash": "sha256-RpRhxWaW01qLJ51XCKiVmS6T5d9CI+uXMcxFxADy1wY=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "dbb5820ba8757b5e679b4ea6d6f1b206e154db3a",
+        "rev": "276afab5392f7a3ed000adaacfd9eea9f9825672",
         "type": "github"
       },
       "original": {