Skip to content

Commit

Permalink
Set Version: 7.1.143
Browse files Browse the repository at this point in the history
  • Loading branch information
devops committed Sep 17, 2024
1 parent 732aa25 commit 833c71e
Show file tree
Hide file tree
Showing 5 changed files with 6 additions and 6 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.142
K_VERSION=7.1.143

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.142) unstable; urgency=medium
kframework (7.1.143) 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.142
7.1.143
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.142'
release = '7.1.142'
version = '7.1.143'
release = '7.1.143'

# -- 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.142"
version = "7.1.143"
description = ""
authors = [
"Runtime Verification, Inc. <[email protected]>",
Expand Down

0 comments on commit 833c71e

Please sign in to comment.