pykwasm/: sync poetry files 7.1.167

runtimeverification · Oct 29, 2024 · 32e7513 · 32e7513
1 parent e38ce47
commit 32e7513
Show file tree

Hide file tree

Showing 2 changed files with 33 additions and 33 deletions.
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-kframework = "7.1.165"
+kframework = "7.1.167"
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]