Skip to content

Commit

Permalink
Update dependency: deps/pyk_release (#2025)
Browse files Browse the repository at this point in the history
* deps/pyk_release: Set Version v0.1.421

* Set Version: 1.0.268

* kevm-pyk/: sync poetry files pyk version v0.1.421

* deps/k_release: sync release file version 6.0.63

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <[email protected]>
  • Loading branch information
rv-jenkins and devops authored Aug 20, 2023
1 parent f01c196 commit 74f6edc
Show file tree
Hide file tree
Showing 8 changed files with 21 additions and 82 deletions.
2 changes: 1 addition & 1 deletion deps/k_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
6.0.61
6.0.63
2 changes: 1 addition & 1 deletion deps/pyk_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
v0.1.420
v0.1.421
16 changes: 8 additions & 8 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -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";
Expand All @@ -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
Expand Down
Loading

0 comments on commit 74f6edc

Please sign in to comment.