From 6326c902430de81245522cb602cb545394b88a83 Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Fri, 22 Jul 2022 09:48:08 +0000 Subject: [PATCH] Set Version: 5.3.120 --- 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 e8ab9387e3d..8afd2d9fa25 100755 --- a/install-k +++ b/install-k @@ -1,6 +1,6 @@ #!/bin/sh -e -K_VERSION=5.3.119 +K_VERSION=5.3.120 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 18131589c1f..065e63015fc 100644 --- a/package/arch/PKGBUILD +++ b/package/arch/PKGBUILD @@ -1,6 +1,6 @@ # Maintainer: Dwight Guth pkgname=kframework-git -pkgver=5.3.119 +pkgver=5.3.120 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 51fcfbd8db8..ea744c727b1 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kframework (5.3.119) unstable; urgency=medium +kframework (5.3.120) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index 695c79a3816..6a390b2b69b 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -5.3.119 +5.3.120 diff --git a/src/main/scripts/test-in-container-debian b/src/main/scripts/test-in-container-debian index 4a7ba63bee8..09f31d9d42e 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.119 +K_VERSION=5.3.120 export DEBIAN_FRONTEND=noninteractive apt-get update apt-get upgrade --yes