From f3d7c7defba7ec0305aa97971ceb47aa3b2a1195 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 27 Aug 2024 15:10:03 +0000
Subject: [PATCH] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 22 +++++++++++-----------
 flake.nix  |  2 +-
 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/flake.lock b/flake.lock
index 3841d0f5cf..2970fc24d1 100644
--- a/flake.lock
+++ b/flake.lock
@@ -45,17 +45,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1724691683,
-        "narHash": "sha256-Npq3ZKA88hoH2dsuz0MTCtVGFrMb0TE3ecx8TLnOzi8=",
+        "lastModified": 1724770888,
+        "narHash": "sha256-FZG6Cag4J7uWzKQztEXfPC5mLV6v68h3G9r9BWTdimQ=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "153c4a03f2493117467440386e549d8c748db6bf",
+        "rev": "69fdf830e3a98a8aa1118f84bd83723f1149468e",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "153c4a03f2493117467440386e549d8c748db6bf",
+        "rev": "69fdf830e3a98a8aa1118f84bd83723f1149468e",
         "type": "github"
       }
     },
@@ -331,16 +331,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1724666348,
-        "narHash": "sha256-uYzqKlfWzfWwdzbdAZAKQ2KX/B4ngVoi+FhUN+c4EkM=",
+        "lastModified": 1724766177,
+        "narHash": "sha256-P/Pi+bDJqd2FAHp6xR2MVY5kZ4qzfrJ0YTvVFRo/etk=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "894298664c0609ce775b2c26bc56674c21563f2c",
+        "rev": "809d59eb819dcb14ac5fb0eb9abe1c05eae38fde",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.121",
+        "ref": "v7.1.122",
         "repo": "k",
         "type": "github"
       }
@@ -367,11 +367,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1724666348,
-        "narHash": "sha256-uYzqKlfWzfWwdzbdAZAKQ2KX/B4ngVoi+FhUN+c4EkM=",
+        "lastModified": 1724766177,
+        "narHash": "sha256-P/Pi+bDJqd2FAHp6xR2MVY5kZ4qzfrJ0YTvVFRo/etk=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "894298664c0609ce775b2c26bc56674c21563f2c",
+        "rev": "809d59eb819dcb14ac5fb0eb9abe1c05eae38fde",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 5346945916..bf5025251f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -7,7 +7,7 @@
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.url = "github:runtimeverification/rv-nix-tools";
     poetry2nix.follows = "pyk/poetry2nix";
-    blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/153c4a03f2493117467440386e549d8c748db6bf";
+    blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/69fdf830e3a98a8aa1118f84bd83723f1149468e";
     blockchain-k-plugin.inputs.flake-utils.follows = "k-framework/flake-utils";
     blockchain-k-plugin.inputs.nixpkgs.follows = "k-framework/nixpkgs";
     pyk.url = "github:runtimeverification/pyk/v0.1.362";