From e6f0615c7616f25cb6fcb6915e16f91688fd39a3 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 May 2024 09:12:14 +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 4431447..297e5c9 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.71/kframework-7.0.71-src.tar.gz" - sha256 "bcd3f93322b3ba5542b9ae05d12b860c5890735165ee00cb572acb1570770426" + url "https://github.com/runtimeverification/k/releases/download/v7.0.72/kframework-7.0.72-src.tar.gz" + sha256 "738f4f6484343941925c145cece32549047b08fdec822ae1adfbca1efae93b83" bottle do - root_url "https://github.com/runtimeverification/k/releases/download/v7.0.71/" - rebuild 932 - sha256 ventura: "043c2489b2185e09520d2485728bfcd5e478c25b87fcc9a7a651458f00bd6b80" + root_url "https://github.com/runtimeverification/k/releases/download/v7.0.72/" + rebuild 933 + sha256 ventura: "65aae9f5c5bf4b416df0aa7bc21109a59ee690846a85fdbf6f493be45ce3909e" end depends_on "cmake" => :build depends_on "haskell-stack" => :build