From 6f9b60b55f78ec4b588c06e4b008c70e53b1a576 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Tue, 20 Aug 2024 09:41:59 -0600
Subject: [PATCH] Update dependency: deps/k_release (#36)

* deps/k_release: Set Version 7.1.112

* Set Version: 0.1.27

* pyproject.toml: sync pyk version 7.1.112

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/k_release  | 2 +-
 package/version | 2 +-
 poetry.lock     | 8 ++++----
 pyproject.toml  | 4 ++--
 4 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/deps/k_release b/deps/k_release
index 1dd611d..d349d55 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.111
+7.1.112
diff --git a/package/version b/package/version
index 7db2672..a2e1aa9 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.26
+0.1.27
diff --git a/poetry.lock b/poetry.lock
index e6929f6..c57b8a0 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -575,13 +575,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.111"
+version = "7.1.112"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.111-py3-none-any.whl", hash = "sha256:456ef27c7fcb830947c34f5286c9ecdab4bedd6475a33c95bc39793d9dee1ad1"},
-    {file = "kframework-7.1.111.tar.gz", hash = "sha256:e9651b8df38fbf975e6eb82e7d0097d0c3461d442b4a9f38d587029a47143663"},
+    {file = "kframework-7.1.112-py3-none-any.whl", hash = "sha256:bf0eae34aa35b67d831c91f314bd94a80c5a88a59cda77fc7399bafb0c2c8fe5"},
+    {file = "kframework-7.1.112.tar.gz", hash = "sha256:d171197791d794e58a0e5b813e8ccde010bcc8d022e247cb1d2c71b8326ed15a"},
 ]
 
 [package.dependencies]
@@ -1604,4 +1604,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools",
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "8beeca23e03160f7d24da12db678642208ed810ff34940138942648ede9c778f"
+content-hash = "0e71be7531558f84bba9b6c917d438766507ff1a540749d38d7aef274db5f4af"
diff --git a/pyproject.toml b/pyproject.toml
index 00c1adb..bacd316 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kriscv"
-version = "0.1.26"
+version = "0.1.27"
 description = "K tooling for the RISC-V architecture"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -18,7 +18,7 @@ riscv-semantics = "kriscv.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.111"
+kframework = "7.1.112"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"