Skip to content

Commit 70b83ed

Browse files
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2765)
* kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 568702a7b89f0578a62c68cff152e928d75b69c3 * kevm-pyk/: sync poetry files pyk version 7.1.253 * deps/blockchain-k-plugin_release: sync release file version 568702a7b89f0578a62c68cff152e928d75b69c3 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops <[email protected]>
1 parent 398be2c commit 70b83ed

File tree

5 files changed

+95
-60
lines changed

5 files changed

+95
-60
lines changed

deps/blockchain-k-plugin_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
c7d635c68b2146f6797262f7206646020bbb1e76
1+
568702a7b89f0578a62c68cff152e928d75b69c3

flake.lock

Lines changed: 81 additions & 46 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
poetry2nix.follows = "k-framework/poetry2nix";
1010
blockchain-k-plugin = {
1111
url =
12-
"github:runtimeverification/blockchain-k-plugin/c7d635c68b2146f6797262f7206646020bbb1e76";
12+
"github:runtimeverification/blockchain-k-plugin/568702a7b89f0578a62c68cff152e928d75b69c3";
1313
inputs.flake-utils.follows = "k-framework/flake-utils";
1414
inputs.nixpkgs.follows = "k-framework/nixpkgs";
1515
};

kevm-pyk/poetry.lock

Lines changed: 11 additions & 11 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)