From 0615761144b88279a54d090e0696ff19c5dbd686 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 31 Oct 2024 03:48:14 +0000
Subject: [PATCH] kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

diff --git a/kmir/poetry.lock b/kmir/poetry.lock
index 043acc888..5cd88b7b6 100644
--- a/kmir/poetry.lock
+++ b/kmir/poetry.lock
@@ -404,14 +404,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.115.5"
+version = "6.115.6"
 description = "A library for property-based testing"
 category = "main"
 optional = false
 python-versions = ">=3.9"
 files = [
-    {file = "hypothesis-6.115.5-py3-none-any.whl", hash = "sha256:b7733459ae9a93020fac3b91b41473c9b85e975139a152a70d88f3a5caa3fa3f"},
-    {file = "hypothesis-6.115.5.tar.gz", hash = "sha256:4768c5fb426b305462ed31032d6e216a31daaefb1dc3134fdf2795b7961d7cb3"},
+    {file = "hypothesis-6.115.6-py3-none-any.whl", hash = "sha256:d7b7173934753b9624680b38a85749de4fce367c44acb36c08b62765cc0a7a19"},
+    {file = "hypothesis-6.115.6.tar.gz", hash = "sha256:d4db48eef183591085676783967e943bb89fef4d596f78c3e4116c61fcc63a6b"},
 ]
 
 [package.dependencies]
@@ -489,14 +489,14 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.167"
+version = "7.1.169"
 description = ""
 category = "main"
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.167-py3-none-any.whl", hash = "sha256:c6229b45f6af74cb605dd46d9f9625c7b3696f445300393f594d5b76c2d33a31"},
-    {file = "kframework-7.1.167.tar.gz", hash = "sha256:b79d11a0e71650a14e8ae08b8cc38f766a4aea536066d1ab019b043acf02a712"},
+    {file = "kframework-7.1.169-py3-none-any.whl", hash = "sha256:af0419d93285834568f2727bb66af4188736faf625a3bdfc331d9294ade1ea95"},
+    {file = "kframework-7.1.169.tar.gz", hash = "sha256:e8e432466fc0a99fff230d4db826a0f2296899ff4dbd4f1226ab07fded3ce884"},
 ]
 
 [package.dependencies]
@@ -1119,4 +1119,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "9102c3c42308b61387ba2e15d3afb811dae9675d63f005a1c92dd054a5c135f8"
+content-hash = "e480169f5bf0820cbf3c9f03e3a478078a821e88b6e8fbbad172279ace58a6e1"
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
index 7baa51a6f..8b586c93b 100644
--- a/kmir/pyproject.toml
+++ b/kmir/pyproject.toml
@@ -23,7 +23,7 @@ pytest-kmir = "kmir.testing.fixtures"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.167"
+kframework = "7.1.169"
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"