Update dependency: deps/k_release (#548)

* deps/k_release: Set Version 6.1.51 * deps/k: sync submodule v6.1.51 * deps/k_release: Set Version 6.1.52 * deps/k: sync submodule v6.1.52 * pykwasm/: sync poetry files v0.1.538 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Virgil <[email protected]>
runtimeverification · Dec 11, 2023 · d1ea4f6 · d1ea4f6
1 parent d783ac7
commit d1ea4f6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/k b/deps/k
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.1.49
+6.1.52