Skip to content

Commit

Permalink
Update brew package version
Browse files Browse the repository at this point in the history
  • Loading branch information
rv-jenkins committed May 21, 2024
1 parent 00ca7df commit 3913eda
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions Formula/kframework.rb
Original file line number Diff line number Diff line change
@@ -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
Expand Down

0 comments on commit 3913eda

Please sign in to comment.