Merge branch 'master' into macos-14

runtimeverification · May 21, 2024 · 5f0565b · 5f0565b
2 parents 130d7ef + 3913eda
commit 5f0565b
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/Formula/kframework.rb b/Formula/kframework.rb
@@ -1,12 +1,12 @@
 class Kframework < Formula
   desc "K Framework Tools 5.0"
   homepage ""
-  url "https://github.com/runtimeverification/k/releases/download/v7.0.77/kframework-7.0.77-src.tar.gz"
-  sha256 "cb3536ff08c60a80fe730cd8c48ef266f34603021b23e0aa07a7cd47f8e91413"
+  url "https://github.com/runtimeverification/k/releases/download/v7.0.78/kframework-7.0.78-src.tar.gz"
+  sha256 "9584aa5f1e2b3a8c94b439935d477d239d548b71afc576c15204eda8bdc78529"
   bottle do
-    root_url "https://github.com/runtimeverification/k/releases/download/v7.0.77/"
-    rebuild 938
-    sha256 ventura: "b3206e0eb7eef7973ca075b52926b88b29f386dc970475d8ec091e5b92861874"
+    root_url "https://github.com/runtimeverification/k/releases/download/v7.0.78/"
+    rebuild 939
+    sha256 ventura: "734d86c85e6f11969135787c6eec236a24279a6a35320c0cfb26d282f107a0e6"
   end
   depends_on "cmake" => :build
   depends_on "haskell-stack" => :build