From 42f97176f2e77a3170f4cc2cb4c45e23a2686923 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Sun, 22 Oct 2023 06:29:57 -0600
Subject: [PATCH] Update dependency: deps/pyk_release (#513)

* deps/pyk_release: Set Version v0.1.466

* pykwasm/: sync poetry files v0.1.466

* deps/pyk_release: Set Version v0.1.467

* pykwasm/: sync poetry files v0.1.467

* deps/pyk_release: Set Version v0.1.468

* pykwasm/: sync poetry files v0.1.468

* deps/pyk_release: Set Version v0.1.469

* pykwasm/: sync poetry files v0.1.469

* deps/pyk_release: Set Version v0.1.470

* pykwasm/: sync poetry files v0.1.470

* deps/pyk_release: Set Version v0.1.471

* pykwasm/: sync poetry files v0.1.471

* deps/pyk_release: Set Version v0.1.472

* pykwasm/: sync poetry files v0.1.472

* deps/pyk_release: Set Version v0.1.473

* pykwasm/: sync poetry files v0.1.473

* deps/pyk_release: Set Version v0.1.474

* pykwasm/: sync poetry files v0.1.474

* deps/pyk_release: Set Version v0.1.475

* pykwasm/: sync poetry files v0.1.475

---------

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

diff --git a/deps/pyk_release b/deps/pyk_release
index 0253e3967..919c60721 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.465
+v0.1.475
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 288f9eeab..868428c96 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -884,7 +884,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.465"
+version = "0.1.475"
 description = ""
 category = "main"
 optional = false
@@ -905,8 +905,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.465"
-resolved_reference = "9b610d23ffaa6e11ebeda19f6fd156cb5d879940"
+reference = "v0.1.475"
+resolved_reference = "75e42ce707b8080e95f8a69a7e6e1b7966ee26c6"
 
 [[package]]
 name = "pyperclip"
@@ -1134,4 +1134,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "646de333400fe8c763607f17c9766927eab8e95c9fe31396f4020f506e2746fd"
+content-hash = "42d185a7d27d7a1e85b16f0592464727171d0320d20d188f3f437900b5381da9"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 9e9f39668..423dfeb1b 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.465" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.475" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.0-alpha.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]