From 9351ead2950313a4d41cd84884580521b2fbe44c Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Mon, 20 Jan 2025 23:07:59 -0700
Subject: [PATCH] Update dependency: deps/k_release (#2689)

* deps/k_release: Set Version 7.1.204

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

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

* deps/k_release: Set Version 7.1.205

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

* 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    | 8 ++++----
 kevm-pyk/pyproject.toml | 2 +-
 5 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/deps/k_release b/deps/k_release
index 5f3b9106f0..9aa8cae8e0 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.203
+7.1.205
diff --git a/flake.lock b/flake.lock
index cca1248604..e95d9108ff 100644
--- a/flake.lock
+++ b/flake.lock
@@ -352,16 +352,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1737378419,
-        "narHash": "sha256-RRXXaHh4RbLRENU/Mm7m8R3nNntRHjhQF8JLIsgFrqI=",
+        "lastModified": 1737403363,
+        "narHash": "sha256-W+qMyPgbgoeFugC9vQKOoHUHdbLqvS2X7ObhcMEQxOU=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "7a23ab7ea1c409838078d4960132c2c3ce20c1b9",
+        "rev": "ab00be0b289ac0fe59c845ffb82c8c4a107f50ff",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.203",
+        "ref": "v7.1.205",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 7bb16c713e..94040c8561 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.203";
+    k-framework.url = "github:runtimeverification/k/v7.1.205";
     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 49bd3ba55e..da711625ea 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -558,14 +558,14 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.203"
+version = "7.1.205"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 groups = ["main"]
 files = [
-    {file = "kframework-7.1.203-py3-none-any.whl", hash = "sha256:a77708ee242d7924965184c35b1ecb4e7151f99238f5d73cf6f65b75f3cd5d7c"},
-    {file = "kframework-7.1.203.tar.gz", hash = "sha256:e567eb936898acd0ac61a1a1d599925ebe0ee2fdb2832c4f04dac25aefdae7f1"},
+    {file = "kframework-7.1.205-py3-none-any.whl", hash = "sha256:4e09f6b86b0431dcb76efe0f364ecb4da3bf8a52e7d4c8d6422f85412c944c3a"},
+    {file = "kframework-7.1.205.tar.gz", hash = "sha256:d9d6b8fa39fc0271d475bb404e6e4bab1f56d33ff1111d667c56f9b1205b7d09"},
 ]
 
 [package.dependencies]
@@ -1340,4 +1340,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "b0a69c3c9e80b3b1e5ce5e72fdd2e3bebbd95f61db1f32e86f82e6b39f979df5"
+content-hash = "078ccc2831e11dc7c644f4699f64c21e993e6ee443ab7ab3eeb619556e23db62"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 245e1d1e9d..7eae257bbe 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.203"
+kframework = "7.1.205"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]