Skip to content

Commit

Permalink
Set Version: 7.1.84
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Jul 26, 2024
1 parent e92af4a commit 5aab240
Show file tree
Hide file tree
Showing 6 changed files with 7 additions and 7 deletions.
2 changes: 1 addition & 1 deletion install-k
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
#!/bin/sh -e

K_VERSION=7.1.83
K_VERSION=7.1.84

if [ `id -u` -ne 0 ]; then
echo "$0: error: This script must be run as root."
Expand Down
2 changes: 1 addition & 1 deletion package/debian/kframework/changelog
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
kframework (7.1.83) unstable; urgency=medium
kframework (7.1.84) unstable; urgency=medium

* Initial Release.

Expand Down
2 changes: 1 addition & 1 deletion package/version
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7.1.83
7.1.84
4 changes: 2 additions & 2 deletions pyk/docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
project = 'pyk'
author = 'Runtime Verification, Inc'
copyright = '2024, Runtime Verification, Inc'
version = '7.1.83'
release = '7.1.83'
version = '7.1.84'
release = '7.1.84'

# -- General configuration ---------------------------------------------------
# https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration
Expand Down
2 changes: 1 addition & 1 deletion pyk/pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kframework"
version = "7.1.83"
version = "7.1.84"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand Down
2 changes: 1 addition & 1 deletion pyk/src/pyk/__init__.py
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,4 @@
from typing import Final


__version__: Final = '7.1.83'
__version__: Final = '7.1.84'

0 comments on commit 5aab240

Please sign in to comment.