Skip to content

Commit 02f421f

Browse files
rv-auditorrv-auditor
committed
kevm-pyk/: sync poetry files
1 parent 5f4f493 commit 02f421f

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

‎kevm-pyk/poetry.lock

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

‎kevm-pyk/pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ authors = [
1313
[tool.poetry.dependencies]
1414
python = "^3.10"
1515
pathos = "*"
16-
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.99" }
16+
pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.100" }
1717

1818
[tool.poetry.group.dev.dependencies]
1919
autoflake = "*"

0 commit comments

Comments
 (0)