From 232f6b97110637280fcddbc4379cc3b4bbc1cc5d Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Wed, 22 Jan 2025 17:14:39 +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 4461d41d65..7f77de7f64 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1737130823,
-        "narHash": "sha256-eH9Kz0I5r/lDvfaxzFdjz0W1KE9b65UsULthh4K012c=",
+        "lastModified": 1737565310,
+        "narHash": "sha256-85nH5F21utHcPgcFRuXtIEMYpNg9Vgsx6iGpOydxh74=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "c36e5c3db723c4f46b79e0b5ecb29e1aa5f379f8",
+        "rev": "ae90dd1ee5e469590a104a4eef343e90e99f5763",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.123",
+        "ref": "v0.1.124",
         "repo": "llvm-backend",
         "type": "github"
       }