From f325f957eb84d53aa0839c537d14f344b288a8a0 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 6 Aug 2024 17:15:10 +0000
Subject: [PATCH] flake.lock: update

---
 flake.lock | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index eb7e597b28d..6697b550c4d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1722957630,
-        "narHash": "sha256-PUAVbI0VaC6MJgjW5aGkWrf4LKeHkmjiVF2BD5TTDF4=",
+        "lastModified": 1722963750,
+        "narHash": "sha256-IKxKHHbPdalWwICtDMb3LhdL7dAEJ2EQmhYl2WChGus=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "6f622c8856f100a3d0a5b90ea7658145273344cc",
+        "rev": "647f0edee25f6da293f2f49f7b70d06466fa376b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.73",
+        "ref": "v0.1.74",
         "repo": "llvm-backend",
         "type": "github"
       }