From da0a17e46e76175ec02386bb3e2467fdae2f9d74 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Fri, 17 Jan 2025 10:01:46 -0700
Subject: [PATCH] Update dependency: deps/k_release (#2685)

* deps/k_release: Set Version 7.1.201

* kevm-pyk/: sync poetry files pyk version 7.1.201

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/k_release          |  2 +-
 flake.lock              |  8 ++++----
 flake.nix               |  2 +-
 kevm-pyk/poetry.lock    | 16 ++++++++--------
 kevm-pyk/pyproject.toml |  2 +-
 5 files changed, 15 insertions(+), 15 deletions(-)

diff --git a/deps/k_release b/deps/k_release
index 52c13a9082..cdd318aa55 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.199
+7.1.201
diff --git a/flake.lock b/flake.lock
index f1fdfc8e21..5ca9f26f3f 100644
--- a/flake.lock
+++ b/flake.lock
@@ -352,16 +352,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1737057776,
-        "narHash": "sha256-AcmnwsJKm49zl426tmOlcWoH1ekV/+7DwxbqJ7OyNhA=",
+        "lastModified": 1737125608,
+        "narHash": "sha256-8zYdKMZI6S1/pqZW/Fvd0KgAYP3HLy++Miqx6QYJ7sI=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "1cd1fcfd08f0533683655140cdd809f28136414e",
+        "rev": "a461666e8dbd13ac964db7b00e5c5f24a911dee9",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.199",
+        "ref": "v7.1.201",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 751ab8ea22..8981b5d6df 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.199";
+    k-framework.url = "github:runtimeverification/k/v7.1.201";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 179c03cd1b..558fffea03 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -376,14 +376,14 @@ setuptools = "*"
 
 [[package]]
 name = "flake8-type-checking"
-version = "2.9.1"
+version = "3.0.0"
 description = "A flake8 plugin for managing type-checking imports & forward references"
 optional = false
-python-versions = ">=3.8"
+python-versions = ">=3.9"
 groups = ["dev"]
 files = [
-    {file = "flake8_type_checking-2.9.1-py3-none-any.whl", hash = "sha256:9f9be261a2b1f2bbd25e6f14acbcd92d060ec59062af5724ebaa909c8bea0d7b"},
-    {file = "flake8_type_checking-2.9.1.tar.gz", hash = "sha256:1a14f300c8e32183cef95798b86a650dc38463664ea10b0bf0884115b47d4cfe"},
+    {file = "flake8_type_checking-3.0.0-py3-none-any.whl", hash = "sha256:e9dfb370d246414e0a25033b1826be5b1499787370b8e2c3f9696c44530e3f65"},
+    {file = "flake8_type_checking-3.0.0.tar.gz", hash = "sha256:acd5c08cc618e9b3a6257246e5cdf5c0d5b2ba2c5120e20df880823fe84de738"},
 ]
 
 [package.dependencies]
@@ -565,14 +565,14 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.199"
+version = "7.1.201"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 groups = ["main"]
 files = [
-    {file = "kframework-7.1.199-py3-none-any.whl", hash = "sha256:c8e64d3f2b13c9e9353eef8cc41c3945261e7d5398de2324ba2c95504ecbff55"},
-    {file = "kframework-7.1.199.tar.gz", hash = "sha256:d7ab05b154269bf3141a0d90dda7534668a1678721f945333e29a05c6679b1c6"},
+    {file = "kframework-7.1.201-py3-none-any.whl", hash = "sha256:1c1f3821147376c46dbff56001093cd7810d475e28667a91ddddcc9026d1f54f"},
+    {file = "kframework-7.1.201.tar.gz", hash = "sha256:1e06fabbc3df5b6f8d2d9cc04f510e9942a7809e142a5aeba858797ab2274a87"},
 ]
 
 [package.dependencies]
@@ -1347,4 +1347,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "b7b227b65dee1324bccd474c64968abdf5f63cc3fbe7eacaa8ee1f3b002d1dd9"
+content-hash = "9f73da57ce718b188a20971ff3ac6b977ffe9db590c9a04bfb97912333e05776"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index beb6c026a3..bab6c59869 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-kframework = "7.1.199"
+kframework = "7.1.201"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]