From 94ab2a3074478af8fd7b55148bfdbc279d154518 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 16 Nov 2023 18:47:40 +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 6b5c265e295..1fddb0e05b0 100644
--- a/flake.lock
+++ b/flake.lock
@@ -118,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1700127797,
-        "narHash": "sha256-1hF1r0ONR9f45eqVlrimgRyv7IQMGJI6ecwieX8Lpd0=",
+        "lastModified": 1700160217,
+        "narHash": "sha256-RMTWA/hAeWOPcYRZm/oWUqzs70U35QO/DaVv+HR3tNI=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "f2078a64cf50d22fdf0eb610f48d7480839c6657",
+        "rev": "7c92187d7b367cadc69a0c6f3655826d2c70a58e",
         "type": "github"
       },
       "original": {