From d300a803cd3cf5e01dee4c2e01aaa76479bf2887 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Fri, 9 Aug 2024 20:53:47 +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 aed64d0456..db2f9f37ef 100644
--- a/flake.lock
+++ b/flake.lock
@@ -112,16 +112,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1723230550,
-        "narHash": "sha256-SizsRZKKWo0ScTCLss0nHQOMfEON+L6XtYlmYFp4gow=",
+        "lastModified": 1723236122,
+        "narHash": "sha256-0JQtGVSRfW3f/WWOiTYDe2t8ivyj/QTmvX23u/1SqZo=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "9f340e13f7c7ff63de1a6afef0b021453db9ba2a",
+        "rev": "3f9ce24705ffdf571a92c5723520b2e308b9f347",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.78",
+        "ref": "v0.1.79",
         "repo": "llvm-backend",
         "type": "github"
       }