From bd69b490b65b1f3c8a99b0f5767dbac0f09ce5ec Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Wed, 27 Sep 2023 06:01:32 -0600 Subject: [PATCH] Update dependency: deps/k_release (https://github.com/runtimeverification/pyk/pull/649) Closes https://github.com/runtimeverification/haskell-backend/issues/3662 ~Blocked by: https://github.com/runtimeverification/k/issues/3646~ --------- Co-authored-by: devops Co-authored-by: Everett Hildenbrandt --- pyk/deps/k_release | 2 +- pyk/package/version | 2 +- pyk/pyproject.toml | 2 +- pyk/src/pyk/__init__.py | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pyk/deps/k_release b/pyk/deps/k_release index 452ca395129..2704c680a61 100644 --- a/pyk/deps/k_release +++ b/pyk/deps/k_release @@ -1 +1 @@ -6.0.87 +6.0.118 diff --git a/pyk/package/version b/pyk/package/version index 44516207be3..868227d78e5 100644 --- a/pyk/package/version +++ b/pyk/package/version @@ -1 +1 @@ -0.1.448 +0.1.449 diff --git a/pyk/pyproject.toml b/pyk/pyproject.toml index 412c91ea1bd..a9928acb2d9 100644 --- a/pyk/pyproject.toml +++ b/pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "pyk" -version = "0.1.448" +version = "0.1.449" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/pyk/src/pyk/__init__.py b/pyk/src/pyk/__init__.py index c7fa69e9ce9..68bd605f9e6 100644 --- a/pyk/src/pyk/__init__.py +++ b/pyk/src/pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -K_VERSION: Final = '6.0.87' +K_VERSION: Final = '6.0.118'