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

---
 flake.lock | 16 ++++++++--------
 flake.nix  |  4 ++--
 2 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/flake.lock b/flake.lock
index 95abdde45c..cd6e2f66f4 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1076,16 +1076,16 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1692271318,
-        "narHash": "sha256-bi9sTDUE/fwwSsLehNp7MNep/7Up05nX4LwJBhYwq/M=",
+        "lastModified": 1692287543,
+        "narHash": "sha256-FWIlzA87Ws+NzLz+i/lECJDbwFzRhCV7T3x8Ddxl1pk=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "d56f22c373848bacc16d01462e2a89eea2479947",
+        "rev": "dc65fd7bc4f473b35d83fb309321ff601252a3b5",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v6.0.61",
+        "ref": "v6.0.63",
         "repo": "k",
         "type": "github"
       }
@@ -1735,16 +1735,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 eb1e288b13..a0e6ddbeb0 100644
--- a/flake.nix
+++ b/flake.nix
@@ -3,7 +3,7 @@
 
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/b01f185e4866de7c5b5a82f833ca9ea3c3f72fc4";
-    k-framework.url = "github:runtimeverification/k/v6.0.61";
+    k-framework.url = "github:runtimeverification/k/v6.0.63";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     #nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
@@ -17,7 +17,7 @@
     ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
     ethereum-legacytests.flake = false;
     haskell-backend.follows = "k-framework/haskell-backend";
-    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";
     foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases