Skip to content

Commit

Permalink
Set Version: 5.3.65
Browse files Browse the repository at this point in the history
  • Loading branch information
rv-jenkins committed May 30, 2022
1 parent d1f8140 commit f53ec3a
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.64
K_VERSION=5.3.65

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.64";
name = "k-5.3.65";
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.64
pkgver=5.3.65
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.64) unstable; urgency=medium
kframework (5.3.65) 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.64
5.3.65
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.64
K_VERSION=5.3.65
export DEBIAN_FRONTEND=noninteractive
apt-get update
apt-get upgrade --yes
Expand Down

0 comments on commit f53ec3a

Please sign in to comment.