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

runtimeverification · Nov 2, 2023 · c4cd563 · c4cd563
1 parent 6a5a92f
commit c4cd563
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 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.489" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.490" }
 tomlkit = "^0.11.6"
 xdg-base-dirs = "^6.0.0"