From 5c729dd3c2a6c4f976f36a0a463d976be070d948 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 25 Jul 2022 11:47:03 +0000 Subject: [PATCH] Set Version: 5.3.122 --- install-k | 2 +- package/arch/PKGBUILD | 2 +- package/debian/changelog | 2 +- package/version | 2 +- src/main/scripts/test-in-container-debian | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/install-k b/install-k index 608350b9767..6860c5c9609 100755 --- a/install-k +++ b/install-k @@ -1,6 +1,6 @@ #!/bin/sh -e -K_VERSION=5.3.121 +K_VERSION=5.3.122 if [ `id -u` -ne 0 ]; then echo "$0: error: This script must be run as root." diff --git a/package/arch/PKGBUILD b/package/arch/PKGBUILD index 4246216183f..56bb3c3515d 100644 --- a/package/arch/PKGBUILD +++ b/package/arch/PKGBUILD @@ -1,6 +1,6 @@ # Maintainer: Dwight Guth pkgname=kframework-git -pkgver=5.3.121 +pkgver=5.3.122 pkgrel=1 epoch= pkgdesc="K framework toolchain. Includes K Framework compiler for K language definitions, and K interpreter and prover for programs written in languages defined in K." diff --git a/package/debian/changelog b/package/debian/changelog index ad24d804919..3461e4e757f 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kframework (5.3.121) unstable; urgency=medium +kframework (5.3.122) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index a77ec0a3f7d..fd2dce3e9a5 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -5.3.121 +5.3.122 diff --git a/src/main/scripts/test-in-container-debian b/src/main/scripts/test-in-container-debian index 2e075e98c15..a54bf974c06 100755 --- a/src/main/scripts/test-in-container-debian +++ b/src/main/scripts/test-in-container-debian @@ -1,5 +1,5 @@ #!/bin/sh -ex -K_VERSION=5.3.121 +K_VERSION=5.3.122 export DEBIAN_FRONTEND=noninteractive apt-get update apt-get upgrade --yes