From 0d3a65a3f6b56b272e37cbcf64217d2c0cf13c20 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 21 Nov 2023 15:44:03 -0700
Subject: [PATCH] Update dependency: deps/k_release (#534)

* deps/k_release: Set Version 6.1.23

* deps/k: sync submodule v6.1.23

* deps/k_release: Set Version 6.1.24

* deps/k: sync submodule v6.1.24

* deps/k_release: Set Version 6.1.25

* deps/k: sync submodule v6.1.25

* pykwasm/: sync poetry files v0.1.506

* pykwasm/: sync poetry files v0.1.509

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/k              |  2 +-
 deps/k_release      |  2 +-
 pykwasm/poetry.lock | 12 ++++++------
 3 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/deps/k b/deps/k
index 4563f0552..41dfa2474 160000
--- a/deps/k
+++ b/deps/k
@@ -1 +1 @@
-Subproject commit 4563f0552fd7ce2e58518a13a0ca3cd0eb754286
+Subproject commit 41dfa2474fea88b1313e8ac2b12c25dd3e722f9e
diff --git a/deps/k_release b/deps/k_release
index 60f96e0b6..a17ac40fb 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.1.22
+6.1.25
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 0e91a25a3..ba17cdb15 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -880,14 +880,14 @@ files = [
 
 [[package]]
 name = "pygments"
-version = "2.17.1"
+version = "2.17.2"
 description = "Pygments is a syntax highlighting package written in Python."
 category = "main"
 optional = false
 python-versions = ">=3.7"
 files = [
-    {file = "pygments-2.17.1-py3-none-any.whl", hash = "sha256:1b37f1b1e1bff2af52ecaf28cc601e2ef7077000b227a0675da25aef85784bc4"},
-    {file = "pygments-2.17.1.tar.gz", hash = "sha256:e45a0e74bf9c530f564ca81b8952343be986a29f6afe7f5ad95c5f06b7bdf5e8"},
+    {file = "pygments-2.17.2-py3-none-any.whl", hash = "sha256:b27c2826c47d0f3219f29554824c30c5e8945175d888647acd804ddd04af846c"},
+    {file = "pygments-2.17.2.tar.gz", hash = "sha256:da46cec9fd2de5be3a8a784f434e4c4ab670b4ff54d605c4c2717e9d49c4c367"},
 ]
 
 [package.extras]
@@ -1117,14 +1117,14 @@ test = ["coverage", "pytest", "pytest-cov"]
 
 [[package]]
 name = "wcwidth"
-version = "0.2.11"
+version = "0.2.12"
 description = "Measures the displayed width of unicode strings in a terminal"
 category = "main"
 optional = false
 python-versions = "*"
 files = [
-    {file = "wcwidth-0.2.11-py2.py3-none-any.whl", hash = "sha256:c4b153acf29f1f0d7fb1b00d097cce82b73de7a2016321c8d7ca71bd76dd848b"},
-    {file = "wcwidth-0.2.11.tar.gz", hash = "sha256:25eb3ecbec328cdb945f56f2a7cfe784bdf7a73a8197398c7a7c65e7fe93e9ae"},
+    {file = "wcwidth-0.2.12-py2.py3-none-any.whl", hash = "sha256:f26ec43d96c8cbfed76a5075dac87680124fa84e0855195a6184da9c187f133c"},
+    {file = "wcwidth-0.2.12.tar.gz", hash = "sha256:f01c104efdf57971bcb756f054dd58ddec5204dd15fa31d6503ea57947d97c02"},
 ]
 
 [[package]]