From 9febc986e46894b9e946c71864599c136aa782f3 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 18 Dec 2023 16:50:11 +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 a9e14958464..8439e75e3b3 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1702895257,
-        "narHash": "sha256-SwuiumeGZxIZRBzilglrsZLrC16RHPJPNVJeEMr2BKA=",
+        "lastModified": 1702917865,
+        "narHash": "sha256-UAqNrGxcFYD7TaKzkbUgEtmqUUednEMp9nMpjFewZzI=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "fc3845d20e911c10193092fea59f17c7d0aba7f4",
+        "rev": "7b97eb8b3ed6a12941c49630893c944faf9b5b59",
         "type": "github"
       },
       "original": {