Skip to content

Commit f65bbdc

Browse files
Update dependency: deps/pyk_release (#580)
* deps/pyk_release: Set Version v0.1.636 * Set Version: 0.1.3 * pykwasm/: sync poetry files v0.1.636 * deps/k_release: sync release file version 6.2.33 * deps/pyk_release: Set Version v0.1.637 * Set Version: 0.1.4 * pykwasm/: sync poetry files v0.1.637 * deps/k_release: sync release file version 6.2.35 * deps/pyk_release: Set Version v0.1.638 * pykwasm/: sync poetry files v0.1.638 * deps/pyk_release: Set Version v0.1.639 * pykwasm/: sync poetry files v0.1.639 * deps/pyk_release: Set Version v0.1.640 * pykwasm/: sync poetry files v0.1.640 * deps/pyk_release: Set Version v0.1.641 * pykwasm/: sync poetry files v0.1.641 * deps/pyk_release: Set Version v0.1.642 * pykwasm/: sync poetry files v0.1.642 * deps/pyk_release: Set Version v0.1.643 * pykwasm/: sync poetry files v0.1.643 * deps/k_release: sync release file version 6.2.37 * deps/pyk_release: Set Version v0.1.644 * pykwasm/: sync poetry files v0.1.644 * deps/k_release: sync release file version 6.2.38 * deps/pyk_release: Set Version v0.1.645 * Set Version: 0.1.5 * pykwasm/: sync poetry files v0.1.645 --------- Co-authored-by: devops <[email protected]>
1 parent c9a237f commit f65bbdc

File tree

5 files changed

+62
-62
lines changed

5 files changed

+62
-62
lines changed

deps/k_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
6.2.31
1+
6.2.38

deps/pyk_release

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
v0.1.635
1+
v0.1.645

package/version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
0.1.4
1+
0.1.5

pykwasm/poetry.lock

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

pykwasm/pyproject.toml

Lines changed: 2 additions & 2 deletions
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.4"
7+
version = "0.1.5"
88
description = ""
99
authors = [
1010
"Runtime Verification, Inc. <[email protected]>",
@@ -14,7 +14,7 @@ authors = [
1414
python = "^3.10"
1515
cytoolz = "^0.12.1"
1616
numpy = "^1.24.2"
17-
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.635" }
17+
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.645" }
1818
py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
1919

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

0 commit comments

Comments
 (0)