From 75db40ae4a0e79717df2976097b922fe31df9c34 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Sun, 20 Aug 2023 06:33:34 +0000
Subject: [PATCH] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 14 +++++++-------
 flake.nix  |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/flake.lock b/flake.lock
index 6b3d5443a2..3a153fd8e6 100644
--- a/flake.lock
+++ b/flake.lock
@@ -990,11 +990,11 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1692370985,
-        "narHash": "sha256-J8S13YjmDTOH4ThGl2JLJJv5SPlhxgaKmY463z5uBZ8=",
+        "lastModified": 1692380699,
+        "narHash": "sha256-AJjAFAgMX5hHYP7sPbhznMRU3a+Iy7pNc/71+iX27WA=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "5cfb6888c1c7a3826d91f63456323ca0feca64cf",
+        "rev": "3d7841ae51afe44a64931a0692be5c41d6c7e67c",
         "type": "github"
       },
       "original": {
@@ -1649,16 +1649,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1692371954,
-        "narHash": "sha256-kudU5GkZcgwh9zF7DcCHaZV6JAkcRq2LlQH6pu+3ApU=",
+        "lastModified": 1692512745,
+        "narHash": "sha256-px3g1DKLndKFg4w9nqZNzQzmcMXZUQOS0dep3/DGMUs=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "a9221f8ee203245fa5222a01dbddda9ffba08935",
+        "rev": "c4157e3b515eedfe560fc9356cd769cfaa9962ea",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.420",
+        "ref": "v0.1.421",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 81b74c6eff..aaefdff263 100644
--- a/flake.nix
+++ b/flake.nix
@@ -10,7 +10,7 @@
     blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/efba5851e4363485a8b1ec6d7d54033c68a5c1cc";
     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.420";
+    pyk.url = "github:runtimeverification/pyk/v0.1.421";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";