From 150658e39a5e8e23223b8c42475a1922555e8ee1 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 25 Mar 2024 10:14:49 +0000 Subject: [PATCH] flake.{nix,lock}: update Nix derivations --- flake.lock | 8 ++++---- flake.nix | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/flake.lock b/flake.lock index 6e7cecaee6..5d57ca9c86 100644 --- a/flake.lock +++ b/flake.lock @@ -494,16 +494,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1711113457, - "narHash": "sha256-jPv7ofQhQNnAf6+5PEhXAoeNOs+/th6mpVuAd8PIK5g=", + "lastModified": 1711361014, + "narHash": "sha256-uog3V+FVVAUh9/7NYAGKf8ezUorUB2BbfS3a/mivRlA=", "owner": "runtimeverification", "repo": "pyk", - "rev": "2954a674d891aee9e71dcf1f8c6e2c8b23e0e5fe", + "rev": "4e452eaf259253b8b8aefd2ccaf1258d0cdff1ec", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.731", + "ref": "v0.1.733", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 3b807dbf5c..13e312c3ee 100644 --- a/flake.nix +++ b/flake.nix @@ -6,7 +6,7 @@ nixpkgs.follows = "k-framework/nixpkgs"; flake-utils.follows = "k-framework/flake-utils"; rv-utils.follows = "k-framework/rv-utils"; - pyk.url = "github:runtimeverification/pyk/v0.1.731"; + pyk.url = "github:runtimeverification/pyk/v0.1.733"; nixpkgs-pyk.follows = "pyk/nixpkgs"; poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = {