From 54b76076c3bde17544a01c040ba9f29c38c34efd Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Mon, 30 Sep 2024 16:51:49 +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 0573caa5f2..3d531ad5eb 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1727116141,
-        "narHash": "sha256-htGQy05VRhuAWdMkUzCf67gkKRGSHfJUeXU5bc2Z27Q=",
+        "lastModified": 1727714165,
+        "narHash": "sha256-Rr1y1YNfT45UvTrJp+Sr8sUZn2Zg1R8caeQYEeFDGnw=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "b830daaa6392ff256e62970cab89deeaaf7aab95",
+        "rev": "0947635116be3b6b899450a3380c823305db7b34",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.95",
+        "ref": "v0.1.96",
         "repo": "llvm-backend",
         "type": "github"
       }