pykwasm/: sync poetry files 7.1.174

runtimeverification · Nov 21, 2024 · 3c8e31f · 3c8e31f
1 parent bb9c7e7
commit 3c8e31f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 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.173"
+kframework = "7.1.174"
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]