From 2b48d2f5da0b1fb18d6a0d5df02ede8ed6f52ccc Mon Sep 17 00:00:00 2001 From: RV Jenkins Date: Mon, 27 Jun 2022 12:45:51 +0000 Subject: [PATCH] Set Version: 5.3.87 --- 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 398f32f9571..4b15dda383a 100755 --- a/install-k +++ b/install-k @@ -1,6 +1,6 @@ #!/bin/sh -e -K_VERSION=5.3.86 +K_VERSION=5.3.87 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 cd882a4ce8f..7693bcc260d 100644 --- a/package/arch/PKGBUILD +++ b/package/arch/PKGBUILD @@ -1,6 +1,6 @@ # Maintainer: Dwight Guth pkgname=kframework-git -pkgver=5.3.86 +pkgver=5.3.87 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 bad1ecca6b6..1e7eb2fe85d 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kframework (5.3.86) unstable; urgency=medium +kframework (5.3.87) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index c4e82f34416..fd8943fad65 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -5.3.86 +5.3.87 diff --git a/src/main/scripts/test-in-container-debian b/src/main/scripts/test-in-container-debian index eb22c316a1b..f5a6d3a2157 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.86 +K_VERSION=5.3.87 export DEBIAN_FRONTEND=noninteractive apt-get update apt-get upgrade --yes