From c6e41de3e1c354926fa71e2c411ad3bbfdb5e59c Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 17 Nov 2023 23:07:02 +0000
Subject: [PATCH] flake.nix, flake.lock: update

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

diff --git a/flake.lock b/flake.lock
index fd6bece82a7..68a01fa9be5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1700257377,
-        "narHash": "sha256-rj5pzTVejX2oZx40GCSpX7fbDnmcnnXi+/ZWfEpZ5Co=",
+        "lastModified": 1700262197,
+        "narHash": "sha256-26BXqZlY1c/f+7Emlwcq+L2MNRKzHwCjR01tMHbMvCE=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "7f31625114f24c09d7a73f52f5355477a5db7a2d",
+        "rev": "92e3e6938fa560e7a66a07f40e005732b5938d39",
         "type": "github"
       },
       "original": {