From 7e3275348667814fabc52d7e76d53ed66e8443fa Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Thu, 5 Sep 2024 03:02:21 -0600 Subject: [PATCH] Update dependency: kmultiversx/src/kmultiversx/kdist/plugin (#325) * kmultiversx/src/kmultiversx/kdist/plugin: Set Version a18c1d424957f794a1254d7e560712749c2aeb10 * Set Version: 0.1.113 * kmultiversx/: sync poetry files 0.1.95 * deps/blockchain-k-plugin_release: sync release file version a18c1d424957f794a1254d7e560712749c2aeb10 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/blockchain-k-plugin_release | 2 +- flake.lock | 24 ++++++++++++------------ flake.nix | 2 +- kmultiversx/poetry.lock | 6 +++--- kmultiversx/pyproject.toml | 2 +- kmultiversx/src/kmultiversx/kdist/plugin | 2 +- package/version | 2 +- 7 files changed, 20 insertions(+), 20 deletions(-) diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release index 046ce7b6..fec330bd 100644 --- a/deps/blockchain-k-plugin_release +++ b/deps/blockchain-k-plugin_release @@ -1 +1 @@ -300c9cf567eba4c8c88675ff67ebd859795ee169 +a18c1d424957f794a1254d7e560712749c2aeb10 diff --git a/flake.lock b/flake.lock index ce64631a..4b4fa971 100644 --- a/flake.lock +++ b/flake.lock @@ -45,17 +45,17 @@ "xbyak": "xbyak" }, "locked": { - "lastModified": 1724870545, - "narHash": "sha256-OVT3nyAQI59zQSALEOazE8q7WYRyDc7SbL7ilMAPjHc=", + "lastModified": 1725480100, + "narHash": "sha256-2gTqoktcvJUAmH4ES0B+r0BNt0PLPEYnCbZQxcIuJUA=", "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169", + "rev": "a18c1d424957f794a1254d7e560712749c2aeb10", "type": "github" }, "original": { "owner": "runtimeverification", "repo": "blockchain-k-plugin", - "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169", + "rev": "a18c1d424957f794a1254d7e560712749c2aeb10", "type": "github" } }, @@ -434,16 +434,16 @@ ] }, "locked": { - "lastModified": 1724866053, - "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=", + "lastModified": 1725395202, + "narHash": "sha256-UCMS6H8zIjFzN4xAXdCNcW7UChAp9knpRnscTg5z+jA=", "owner": "runtimeverification", "repo": "k", - "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5", + "rev": "42e03545c319847e7df84e6fbc196b2f51c148a0", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v7.1.123", + "ref": "v7.1.131", "repo": "k", "type": "github" } @@ -819,17 +819,17 @@ "treefmt-nix": "treefmt-nix" }, "locked": { - "lastModified": 1698640399, - "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=", + "lastModified": 1725253878, + "narHash": "sha256-HwXut4WbOUAjmybhui2eNSE6+Wb0nigYgDzBBOZaPG4=", "owner": "nix-community", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", + "rev": "0d3fad5740d892487805cd2d60d8e4ed828486e9", "type": "github" }, "original": { "owner": "nix-community", + "ref": "2024.9.219347", "repo": "poetry2nix", - "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c", "type": "github" } }, diff --git a/flake.nix b/flake.nix index 72b5bf9a..ad732a35 100644 --- a/flake.nix +++ b/flake.nix @@ -12,7 +12,7 @@ poetry2nix.follows = "pyk/poetry2nix"; blockchain-k-plugin = { url = - "github:runtimeverification/blockchain-k-plugin/300c9cf567eba4c8c88675ff67ebd859795ee169"; + "github:runtimeverification/blockchain-k-plugin/a18c1d424957f794a1254d7e560712749c2aeb10"; inputs.flake-utils.follows = "k-framework/flake-utils"; inputs.nixpkgs.follows = "k-framework/nixpkgs"; }; diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock index 7ad22d72..a92297d6 100644 --- a/kmultiversx/poetry.lock +++ b/kmultiversx/poetry.lock @@ -1168,13 +1168,13 @@ jupyter = ["ipywidgets (>=7.5.1,<9)"] [[package]] name = "setuptools" -version = "74.0.0" +version = "74.1.1" description = "Easily download, build, install, upgrade, and uninstall Python packages" optional = false python-versions = ">=3.8" files = [ - {file = "setuptools-74.0.0-py3-none-any.whl", hash = "sha256:0274581a0037b638b9fc1c6883cc71c0210865aaa76073f7882376b641b84e8f"}, - {file = "setuptools-74.0.0.tar.gz", hash = "sha256:a85e96b8be2b906f3e3e789adec6a9323abf79758ecfa3065bd740d81158b11e"}, + {file = "setuptools-74.1.1-py3-none-any.whl", hash = "sha256:fc91b5f89e392ef5b77fe143b17e32f65d3024744fba66dc3afe07201684d766"}, + {file = "setuptools-74.1.1.tar.gz", hash = "sha256:2353af060c06388be1cecbf5953dcdb1f38362f87a2356c480b6b4d5fcfc8847"}, ] [package.extras] diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml index 4a0c7fbf..667a8770 100644 --- a/kmultiversx/pyproject.toml +++ b/kmultiversx/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kmultiversx" -version = "0.1.112" +version = "0.1.113" description = "Python tools for Elrond semantics" authors = [ "Runtime Verification, Inc. ", diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin index 300c9cf5..a18c1d42 160000 --- a/kmultiversx/src/kmultiversx/kdist/plugin +++ b/kmultiversx/src/kmultiversx/kdist/plugin @@ -1 +1 @@ -Subproject commit 300c9cf567eba4c8c88675ff67ebd859795ee169 +Subproject commit a18c1d424957f794a1254d7e560712749c2aeb10 diff --git a/package/version b/package/version index 4b9b35d8..c21e67e6 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -0.1.112 +0.1.113