From 9bb2e10ed4224b4fbd26166b212236719800d448 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 9 Aug 2023 16:59:30 +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 245a22d2e2..cbafee71c9 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1061,16 +1061,16 @@
         "rv-utils": "rv-utils"
       },
       "locked": {
-        "lastModified": 1691105048,
-        "narHash": "sha256-XppuMQrft/wy3sGLg6KWKdnWeXq1XzyWwlfVTVcc2e0=",
+        "lastModified": 1691571802,
+        "narHash": "sha256-fAlHJ/ZGDN5J8iXvYmfDW28MKrcUc8J6ZLZmXAmyIhA=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "4412313bfa0e83c1a9f425a0c5ac221cffbfe732",
+        "rev": "7dcf5884ee0a27941fe811a4fa0a6dddfcc14cdf",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v6.0.44",
+        "ref": "v6.0.48",
         "repo": "k",
         "type": "github"
       }
@@ -1720,16 +1720,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1691565832,
-        "narHash": "sha256-9QHgHscQZgkTaptNRqRPetx0SJoswSBvj9HSNHNoHPo=",
+        "lastModified": 1691599511,
+        "narHash": "sha256-7MATwrJz7xX0NByMuEZq9Nfa8nDO8IhWp5UEFAqsHk4=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "42763aec420089647316143df2898c7e344ecda6",
+        "rev": "044c2cbb969310ddf10d374e3718d9501c5a77dd",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.406",
+        "ref": "v0.1.407",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 90e964fad2..86acc1c386 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.44";
+    k-framework.url = "github:runtimeverification/k/v6.0.48";
     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.406";
+    pyk.url = "github:runtimeverification/pyk/v0.1.407";
     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