Skip to content

Commit

Permalink
Update dependency: deps/k_release (#2638)
Browse files Browse the repository at this point in the history
* deps/k_release: Set Version 7.1.154

* kevm-pyk/: sync poetry files pyk version 7.1.154

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

* deps/k_release: Set Version 7.1.155

* kevm-pyk/: sync poetry files pyk version 7.1.155

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

* kevm-pyk/: sync poetry files pyk version 7.1.155

---------

Co-authored-by: devops <[email protected]>
Co-authored-by: Everett Hildenbrandt <[email protected]>
  • Loading branch information
3 people authored Oct 7, 2024
1 parent f0ce59a commit 2fd0490
Show file tree
Hide file tree
Showing 5 changed files with 36 additions and 36 deletions.
2 changes: 1 addition & 1 deletion deps/k_release
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.154
7.1.155
8 changes: 4 additions & 4 deletions flake.lock

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

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
description = "A flake for the KEVM Semantics";

inputs = {
k-framework.url = "github:runtimeverification/k/v7.1.154";
k-framework.url = "github:runtimeverification/k/v7.1.155";
nixpkgs.follows = "k-framework/nixpkgs";
flake-utils.follows = "k-framework/flake-utils";
rv-utils.follows = "k-framework/rv-utils";
Expand Down
58 changes: 29 additions & 29 deletions kevm-pyk/poetry.lock

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

2 changes: 1 addition & 1 deletion kevm-pyk/pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ authors = [
[tool.poetry.dependencies]
python = "^3.10"
pathos = "*"
kframework = "7.1.154"
kframework = "7.1.155"
tomlkit = "^0.11.6"

[tool.poetry.group.dev.dependencies]
Expand Down

0 comments on commit 2fd0490

Please sign in to comment.