From 8706a0866e9e0697e75afa3c63c17e8b1b8a0310 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Tue, 17 Dec 2024 00:12:16 +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 34fbc3b7dc..31e99a69a2 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1733763903,
-        "narHash": "sha256-wvkNjv30PWyswJA2+1XnNSydCX+jXAiaaGovz2z/5Lw=",
+        "lastModified": 1732646059,
+        "narHash": "sha256-vh/8iX4cssaQFKUfiMdK8PwAErS4cfFhzOtg2fMN/S0=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "b16e56c905b7dc4db70ac7c0ec00abc18831500d",
+        "rev": "ed75d3498bf2a51c807ef26660aed556e452d9b8",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.113",
+        "ref": "v0.1.105",
         "repo": "llvm-backend",
         "type": "github"
       }