From be18627e43591204676599f86cca8d882b78fb33 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Mon, 16 Oct 2023 06:31:59 -0600
Subject: [PATCH] Update dependency: deps/pyk_release (#512)

* deps/pyk_release: Set Version v0.1.463

* pykwasm/: sync poetry files v0.1.463

* deps/pyk_release: Set Version v0.1.464

* pykwasm/: sync poetry files v0.1.464

* deps/pyk_release: Set Version v0.1.465

* pykwasm/: sync poetry files v0.1.465

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/pyk_release       |  2 +-
 pykwasm/poetry.lock    | 14 +++++++-------
 pykwasm/pyproject.toml |  2 +-
 3 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/deps/pyk_release b/deps/pyk_release
index e9c898b34..0253e3967 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.461
+v0.1.465
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 3002f86c5..97c42a09a 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -847,14 +847,14 @@ global = ["pybind11-global (==2.11.1)"]
 
 [[package]]
 name = "pycodestyle"
-version = "2.11.0"
+version = "2.11.1"
 description = "Python style guide checker"
 category = "dev"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "pycodestyle-2.11.0-py2.py3-none-any.whl", hash = "sha256:5d1013ba8dc7895b548be5afb05740ca82454fd899971563d2ef625d090326f8"},
-    {file = "pycodestyle-2.11.0.tar.gz", hash = "sha256:259bcc17857d8a8b3b4a2327324b79e5f020a13c16074670f9c8c8f872ea76d0"},
+    {file = "pycodestyle-2.11.1-py2.py3-none-any.whl", hash = "sha256:44fe31000b2d866f2e41841b18528a505fbd7fef9017b04eff4e2648a0fadc67"},
+    {file = "pycodestyle-2.11.1.tar.gz", hash = "sha256:41ba0e7afc9752dfb53ced5489e89f8186be00e599e712660695b7a75ff2663f"},
 ]
 
 [[package]]
@@ -886,7 +886,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.461"
+version = "0.1.465"
 description = ""
 category = "main"
 optional = false
@@ -907,8 +907,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.461"
-resolved_reference = "79c45d9f1ae355b591cbd2e8b77c6205ab170835"
+reference = "v0.1.465"
+resolved_reference = "9b610d23ffaa6e11ebeda19f6fd156cb5d879940"
 
 [[package]]
 name = "pyperclip"
@@ -1136,4 +1136,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "c828dfc3deef98df76c10a0905730fdd6cd1a11d82c6aa8b5d041a5000d4d70c"
+content-hash = "646de333400fe8c763607f17c9766927eab8e95c9fe31396f4020f506e2746fd"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 7e79d53dd..9e9f39668 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -14,7 +14,7 @@ authors = [
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.461" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.465" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.0-alpha.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]