From a8a700bafe4a57c68636d7903896f1e113e9800d Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Fri, 5 Apr 2024 17:43:28 -0600 Subject: [PATCH] Update dependency: deps/k_release (https://github.com/runtimeverification/pyk/pull/1068) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: devops Co-authored-by: Tamás Tóth --- pyk/deps/k_release | 2 +- pyk/docs/conf.py | 4 ++-- pyk/package/version | 2 +- pyk/pyproject.toml | 2 +- pyk/src/pyk/__init__.py | 2 +- 5 files changed, 6 insertions(+), 6 deletions(-) diff --git a/pyk/deps/k_release b/pyk/deps/k_release index 3da1f7b04a2..0ea0dfb4249 100644 --- a/pyk/deps/k_release +++ b/pyk/deps/k_release @@ -1 +1 @@ -6.3.74 +6.3.75 diff --git a/pyk/docs/conf.py b/pyk/docs/conf.py index 1c3d4eb3ed5..48e4480ebb7 100644 --- a/pyk/docs/conf.py +++ b/pyk/docs/conf.py @@ -9,8 +9,8 @@ project = 'pyk' author = 'Runtime Verification, Inc' copyright = '2024, Runtime Verification, Inc' -version = '0.1.775' -release = '0.1.775' +version = '0.1.776' +release = '0.1.776' # -- General configuration --------------------------------------------------- # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration diff --git a/pyk/package/version b/pyk/package/version index 75dd97f91f8..83a470132e4 100644 --- a/pyk/package/version +++ b/pyk/package/version @@ -1 +1 @@ -0.1.775 +0.1.776 diff --git a/pyk/pyproject.toml b/pyk/pyproject.toml index f59ff3b7270..d4567b587f6 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.775" +version = "0.1.776" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/pyk/src/pyk/__init__.py b/pyk/src/pyk/__init__.py index 8a188c4b4df..1e56c2a9dc6 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.3.74' +K_VERSION: Final = '6.3.75'