From df5f30421d8cef08ae2b92c58efe2ce658410492 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Tue, 21 May 2024 15:59:22 +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 a163cd5..271519d 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.74/kframework-7.0.74-src.tar.gz" - sha256 "12b66b0a6242095a285c59272d04692493d79a79f91598e3ed29213f793a243c" + url "https://github.com/runtimeverification/k/releases/download/v7.0.75/kframework-7.0.75-src.tar.gz" + sha256 "a0c4839ffc3c4a6b30dbe31c97ebc71c8216b5b475a79d105cf3d2b7986da578" bottle do - root_url "https://github.com/runtimeverification/k/releases/download/v7.0.74/" - rebuild 935 - sha256 ventura: "de8d53d81c80ca8c7a9af75ac7050a34860af27998e2d9bd14cd90c7c5f9d892" + root_url "https://github.com/runtimeverification/k/releases/download/v7.0.75/" + rebuild 936 + sha256 ventura: "f334029027aa2571a9c9acf2fdba7db75181f162457defe0be3638f5f76cee11" end depends_on "cmake" => :build depends_on "haskell-stack" => :build