From 20880479c76a77d6982cd309dc620f790d7b60e8 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 20 Jan 2025 20:45:42 +0000
Subject: [PATCH] Sync Poetry files: kframework 7.1.205

---
 poetry.lock    | 8 ++++----
 pyproject.toml | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/poetry.lock b/poetry.lock
index 7b6fe87..b44d2b8 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -527,14 +527,14 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.204"
+version = "7.1.205"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 groups = ["main"]
 files = [
-    {file = "kframework-7.1.204-py3-none-any.whl", hash = "sha256:73106696a9b93558bb44cb8b83f326eee011eee9b3259e7af420880e619e8d92"},
-    {file = "kframework-7.1.204.tar.gz", hash = "sha256:920934c6aa9287de5e05f3a1c48be9998756ad78312c182711c1b606351385de"},
+    {file = "kframework-7.1.205-py3-none-any.whl", hash = "sha256:4e09f6b86b0431dcb76efe0f364ecb4da3bf8a52e7d4c8d6422f85412c944c3a"},
+    {file = "kframework-7.1.205.tar.gz", hash = "sha256:d9d6b8fa39fc0271d475bb404e6e4bab1f56d33ff1111d667c56f9b1205b7d09"},
 ]
 
 [package.dependencies]
@@ -1195,4 +1195,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "f57385a60251b4717eb87d93e4430614a7d21fc34d2f4edfe376993aadc903ac"
+content-hash = "5dc285e55eed119edc76104a22dc04c5b39a314ff78b5e29f1e5680ceefc0a4c"
diff --git a/pyproject.toml b/pyproject.toml
index da09e7d..c54000d 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -18,7 +18,7 @@ imp-semantics = "kimp.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.204"
+kframework = "7.1.205"
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"