Skip to content

Commit 5a17ce1

Browse files
committed
Update brew package version
1 parent 974da5d commit 5a17ce1

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

Formula/kframework.rb

+5-5
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
11
class Kframework < Formula
22
desc "K Framework Tools 5.0"
33
homepage ""
4-
url "https://github.com/runtimeverification/k/releases/download/v6.3.78/kframework-6.3.78-src.tar.gz"
5-
sha256 "28117064d8c5b3e7b15ab75a36563eaf3364e78ed14fa32e87e995d296154df5"
4+
url "https://github.com/runtimeverification/k/releases/download/v6.3.79/kframework-6.3.79-src.tar.gz"
5+
sha256 "86c185acadb369654593d92513e2d70b7dc814bbfbadab6af2a087fbfe093f6c"
66
bottle do
7-
root_url "https://github.com/runtimeverification/k/releases/download/v6.3.78/"
8-
rebuild 862
9-
sha256 ventura: "904782f9c2bb9b6d4cfc59f8d9b260458f7956b2ca80422e81b6859ba33d2671"
7+
root_url "https://github.com/runtimeverification/k/releases/download/v6.3.79/"
8+
rebuild 863
9+
sha256 ventura: "a7c1ba09f85c9d3545fd6730eae01fa9d5b65ad671a7d056e32fd7bf6de055e7"
1010
end
1111
depends_on "cmake" => :build
1212
depends_on "haskell-stack" => :build

0 commit comments

Comments
 (0)