kmultiversx/: sync poetry files 0.1.112

runtimeverification · Oct 23, 2024 · 04fff3c · 04fff3c
1 parent cb9a54e
commit 04fff3c
Show file tree

Hide file tree

Showing 2 changed files with 43 additions and 42 deletions.
diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
@@ -20,7 +20,7 @@ mx-semantics = "kmultiversx.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.111", subdirectory = "pykwasm" }
+pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.112", subdirectory = "pykwasm" }
 pycryptodomex = "^3.18.0"
 hypothesis = "^6.82.6"
 exceptiongroup = "==1.2.1"