Update dependency: deps/k_release (#51)

* deps/k_release: Set Version 7.1.164 * Set Version: 0.1.42 * pyproject.toml: sync pyk version 7.1.164 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Oct 21, 2024 · 7cafa9d · 7cafa9d
1 parent cdd2ccb
commit 7cafa9d
Show file tree

Hide file tree

Showing 4 changed files with 70 additions and 70 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.163
+7.1.164
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.41
+0.1.42