diff --git a/install-k b/install-k index 845a642c055..27f86c02721 100755 --- a/install-k +++ b/install-k @@ -1,6 +1,6 @@ #!/bin/sh -e -K_VERSION=6.1.26 +K_VERSION=6.1.27 if [ `id -u` -ne 0 ]; then echo "$0: error: This script must be run as root." diff --git a/package/debian/changelog b/package/debian/changelog index 7e87d115a3c..fad199a4662 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kframework (6.1.26) unstable; urgency=medium +kframework (6.1.27) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index 161765e3a0b..9446ff38394 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -6.1.26 +6.1.27