diff --git a/deps/k_release b/deps/k_release
index 00d23b1b11..2273462042 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-https://github.com/kframework/k/releases/tag/nightly-ec2e4e7b5
+https://github.com/kframework/k/releases/download/nightly-ec2e4e7b5