From 286ead3ed1dd02c0ef821b15d1f13d52fa3715a3 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 22 Nov 2023 10:10:09 +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 92324692306..9e482ef9879 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1700523811,
-        "narHash": "sha256-WgzIxCEAyB2X1n1AoBds9hXIdWPyRhUJ0MRu2ZWWuQk=",
+        "lastModified": 1700647421,
+        "narHash": "sha256-ftdB2PexYw4rhevptFMbmDi6KdpHSUdDsUATSpAIexY=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "5ca593b04cd15a3173cf09835eb2656f1264db64",
+        "rev": "7beccf74d125395f073fdaaba9b5c70c2b9b8ef3",
         "type": "github"
       },
       "original": {