kevm-pyk/: sync poetry files pyk version v0.1.470

runtimeverification · Oct 18, 2023 · c098200 · c098200
1 parent 5b3b69a
commit c098200
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 36 deletions.
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
@@ -17,7 +17,7 @@ packages = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.469" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.470" }
 tomlkit = "^0.11.6"
 xdg-base-dirs = "^6.0.0"