From 8ccc9ca7c9b9fc610a36284e2c84af6eb15c0e7b Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 1 Aug 2024 17:45:27 +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 628ab9ef296..132ad21b69d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1722454948,
-        "narHash": "sha256-8mcRIlTAmQ1J3oxi0QibxmSlFWkOTRlyWy5kSHJFf6U=",
+        "lastModified": 1722533313,
+        "narHash": "sha256-bDuIrDLze5LaKxxw0CmZsXICajkLJbh87D2VdodvpJk=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "5be14fe74740a15cb707c102425032ffdee98281",
+        "rev": "39689143d0e608ce634e5fb40c6f7daef3060b56",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.69",
+        "ref": "v0.1.70",
         "repo": "llvm-backend",
         "type": "github"
       }