From ed1e06540b41bdf7976fed51fb2468ec1fefe583 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 24 Sep 2024 16:05:06 +0000
Subject: [PATCH] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 24 ++++++++++++------------
 flake.nix  |  2 +-
 2 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/flake.lock b/flake.lock
index c7728888..3d24e3e3 100644
--- a/flake.lock
+++ b/flake.lock
@@ -45,17 +45,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1726502502,
-        "narHash": "sha256-J9IJiXHyCh42z65mEHYj/gnSLxOxbOF0riX8SLlQ3l8=",
+        "lastModified": 1727193689,
+        "narHash": "sha256-86azbaa/R/Euf9bXqLVW3Wiv5prJuE9jX0/xj4wBblg=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "f1f7edb7cb7286906fe42aa37d2106036cef849f",
+        "rev": "9573fe0783b471d44d2bb93919fb521ada123f40",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "f1f7edb7cb7286906fe42aa37d2106036cef849f",
+        "rev": "9573fe0783b471d44d2bb93919fb521ada123f40",
         "type": "github"
       }
     },
@@ -318,16 +318,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1726170219,
-        "narHash": "sha256-pQG1D9oDG24h7I/ekTI96IGZ7ikWrip0m4o1uDFIBZc=",
+        "lastModified": 1726963552,
+        "narHash": "sha256-01rb87Oc9cDh1MinneK/c96DbdQMVwnym9uYz1gKec4=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "6e23a83e5380f9eae45a73e3956776f2e666da35",
+        "rev": "7e06a35da4f5f757a8373c6cbf83e86f492bc75a",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.142",
+        "ref": "v7.1.149",
         "repo": "k",
         "type": "github"
       }
@@ -406,16 +406,16 @@
         "utils": "utils"
       },
       "locked": {
-        "lastModified": 1726098480,
-        "narHash": "sha256-BOCKGOKzJLlYHSOCd2QOERS/sE038domlBc1h6nvM5s=",
+        "lastModified": 1726776150,
+        "narHash": "sha256-A4OX0ZV4/AS+tztmLG52v/ayMV43WscbF6lLKOaoPrw=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "344d1335c0fb8d146b0fa2954b0194afbe11dae6",
+        "rev": "c023bc5eb734c1718243d66613044e895e8fcf7e",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.88",
+        "ref": "v0.1.94",
         "repo": "llvm-backend",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index e894feb1..136574d6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -10,7 +10,7 @@
     poetry2nix.follows = "k-framework/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/f1f7edb7cb7286906fe42aa37d2106036cef849f";
+        "github:runtimeverification/blockchain-k-plugin/9573fe0783b471d44d2bb93919fb521ada123f40";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "k-framework/nixpkgs";
     };