From 3913edae5f2f989b9b6ba5ccc37aa005e54e928c Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 May 2024 21:49:56 +0000 Subject: [PATCH] Update brew package version --- Formula/kframework.rb | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Formula/kframework.rb b/Formula/kframework.rb index 6724195..35bee93 100644 --- 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