Skip to content

Commit

Permalink
Set Version: 5.3.61
Browse files Browse the repository at this point in the history
  • Loading branch information
rv-jenkins committed May 24, 2022
1 parent dfd8e70 commit 3cf356d
Show file tree
Hide file tree
Showing 6 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=5.3.60
K_VERSION=5.3.61

if [ `id -u` -ne 0 ]; then
echo "$0: error: This script must be run as root."
Expand Down
2 changes: 1 addition & 1 deletion nix/k.nix
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@

let
unwrapped = mavenix.buildMaven {
name = "k-5.3.60";
name = "k-5.3.61";
infoFile = ./mavenix.lock;
src =
cleanSourceWith {
Expand Down
2 changes: 1 addition & 1 deletion package/arch/PKGBUILD
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Maintainer: Dwight Guth <dwight.guth@runtimeverification.com>
pkgname=kframework-git
pkgver=5.3.60
pkgver=5.3.61
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."
Expand Down
2 changes: 1 addition & 1 deletion package/debian/changelog
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
kframework (5.3.60) unstable; urgency=medium
kframework (5.3.61) 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 @@
5.3.60
5.3.61
2 changes: 1 addition & 1 deletion src/main/scripts/test-in-container-debian
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#!/bin/sh -ex
K_VERSION=5.3.60
K_VERSION=5.3.61
export DEBIAN_FRONTEND=noninteractive
apt-get update
apt-get upgrade --yes
Expand Down

0 comments on commit 3cf356d

Please sign in to comment.