From 3921a7addc58967db66015d64589a86eb1eacd5c Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Mon, 16 Dec 2024 08:22:27 -0700
Subject: [PATCH] Update dependency: deps/k_release (#2664)

* deps/k_release: Set Version 7.1.187

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

* 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 96f9e6a44d..b84d2573b8 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.186
+7.1.187
diff --git a/flake.lock b/flake.lock
index c9ddd15eb9..596d374c04 100644
--- a/flake.lock
+++ b/flake.lock
@@ -352,16 +352,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1733859752,
-        "narHash": "sha256-wRfMUdf8hQWLEbtwTihnGvlUssU55NVm30LOrAXS7jU=",
+        "lastModified": 1733906779,
+        "narHash": "sha256-7EHntkwnhYa8xTiMC6s0OzUcqxP+fKaNB/Ed98gf+io=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "c8d0bee9b64f0e83a4db805575699bae040abbf1",
+        "rev": "ca93ca476a73abfbff358a6911fcb0e260371d58",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.186",
+        "ref": "v7.1.187",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index fc6e09d9d6..9b48fe046b 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.186";
+    k-framework.url = "github:runtimeverification/k/v7.1.187";
     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 5b62329a1a..eb60a2230f 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -536,13 +536,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.186"
+version = "7.1.187"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.186-py3-none-any.whl", hash = "sha256:de89b8c98c23d7b8d9f13f16729e266a160ba139a82cf3c57811c9befebc3617"},
-    {file = "kframework-7.1.186.tar.gz", hash = "sha256:121320cf841c2a767bdffd9cadba49876f429e69cef886f825c792ef3721035b"},
+    {file = "kframework-7.1.187-py3-none-any.whl", hash = "sha256:3f646b1bfb2e3ad48c76ec4751a0d767a1ccd8d3f3d603bb839c5b869f7d3043"},
+    {file = "kframework-7.1.187.tar.gz", hash = "sha256:fa2ecff8728f3ff229bbfdfb02dd437609c9c45c6174477ace318bf5daa6947f"},
 ]
 
 [package.dependencies]
@@ -1267,4 +1267,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "16df89c6c992b9612420eebbf4cc89aefb6b4e445dd3aa03c20c0f59e1640a5b"
+content-hash = "0c5d9f88b5d23d119afa2fdfa7315939ae4dfbc15af47f4e9d4b2256ccdcaaea"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 1c1280b329..c613f9b3c7 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.186"
+kframework = "7.1.187"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]