From a0af71bf9c8c4c28bdc5a218a5333e77dbfe4193 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 28 Sep 2023 19:06:03 +0000
Subject: [PATCH 1/4] llvm-backend/src/main/native/llvm-backend: Set Version
 005858032d35921e0c3c0056623b0b08f1e4f809

---
 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 4c9d0101951..005858032d3 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 4c9d0101951dc7fa4f07b0b03f5afd84331a40f7
+Subproject commit 005858032d35921e0c3c0056623b0b08f1e4f809

From 84810f8f27902f19509cf46fa3cc56c587d019c5 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 28 Sep 2023 19:08:05 +0000
Subject: [PATCH 2/4] flake.nix, flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index 5700d98865b..9af53cc1745 100644
--- a/flake.lock
+++ b/flake.lock
@@ -784,11 +784,11 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1695738370,
-        "narHash": "sha256-6H2WXHGjB2UvsZob2PAeV9o53q2LEKZ1LwDL5tV9fik=",
+        "lastModified": 1695927792,
+        "narHash": "sha256-WVoEblRvCdqlD+btG3qrb69qQR4WnPCEtjRhnVxwlPY=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "4c9d0101951dc7fa4f07b0b03f5afd84331a40f7",
+        "rev": "005858032d35921e0c3c0056623b0b08f1e4f809",
         "type": "github"
       },
       "original": {
@@ -1227,11 +1227,11 @@
     },
     "nixpkgs_5": {
       "locked": {
-        "lastModified": 1695559356,
-        "narHash": "sha256-kXZ1pUoImD9OEbPCwpTz4tHsNTr4CIyIfXb3ocuR8sI=",
+        "lastModified": 1695825837,
+        "narHash": "sha256-4Ne11kNRnQsmSJCRSSNkFRSnHC4Y5gPDBIQGjjPfJiU=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "261abe8a44a7e8392598d038d2e01f7b33cf26d0",
+        "rev": "5cfafa12d57374f48bcc36fda3274ada276cf69e",
         "type": "github"
       },
       "original": {

From 77dc5e6ae255ee5a83c7827185c1338232023a93 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 29 Sep 2023 14:58:30 +0000
Subject: [PATCH 3/4] llvm-backend/src/main/native/llvm-backend: Set Version
 6fcdc56768e379c9bc77f19083c5777895c33800

---
 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 005858032d3..6fcdc56768e 160000
--- a/llvm-backend/src/main/native/llvm-backend
+++ b/llvm-backend/src/main/native/llvm-backend
@@ -1 +1 @@
-Subproject commit 005858032d35921e0c3c0056623b0b08f1e4f809
+Subproject commit 6fcdc56768e379c9bc77f19083c5777895c33800

From c51b712e28fe5b075952552ae7c7ecb631f799a1 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 29 Sep 2023 15:00:26 +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 9af53cc1745..82dd5f709da 100644
--- a/flake.lock
+++ b/flake.lock
@@ -784,11 +784,11 @@
         "utils": "utils_2"
       },
       "locked": {
-        "lastModified": 1695927792,
-        "narHash": "sha256-WVoEblRvCdqlD+btG3qrb69qQR4WnPCEtjRhnVxwlPY=",
+        "lastModified": 1695999408,
+        "narHash": "sha256-wkAZZYuZkmslrl4fV0jPGcvSrSIDwrrPSAW4aFZHYp0=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "005858032d35921e0c3c0056623b0b08f1e4f809",
+        "rev": "6fcdc56768e379c9bc77f19083c5777895c33800",
         "type": "github"
       },
       "original": {