Skip to content

Commit 4f5c9fa

Browse files
Update dependency: deps/k_release (#620)
* deps/k_release: Set Version 7.0.25 * Set Version: 0.1.41 * pykwasm/: sync poetry files v7.0.25 --------- Co-authored-by: devops <[email protected]>
1 parent ec12cf7 commit 4f5c9fa

File tree

4 files changed

+11
-11
lines changed

4 files changed

+11
-11
lines changed

deps/k_release

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
7.0.24
1+
7.0.25

package/version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.1.40
1+
0.1.41

pykwasm/poetry.lock

+7-7
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

pykwasm/pyproject.toml

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
44

55
[tool.poetry]
66
name = "pykwasm"
7-
version = "0.1.40"
7+
version = "0.1.41"
88
description = ""
99
authors = [
1010
"Runtime Verification, Inc. <[email protected]>",
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
2323
python = "^3.10"
2424
cytoolz = "^0.12.1"
2525
numpy = "^1.24.2"
26-
pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.24", subdirectory = "pyk" }
26+
pyk = { git = "https://github.com/runtimeverification/k.git", tag="v7.0.25", subdirectory = "pyk" }
2727
py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
2828

2929
[tool.poetry.group.dev.dependencies]

0 commit comments

Comments
 (0)