mirror of
https://github.com/wavetermdev/homebrew-cask.git
synced 2026-08-05 13:43:24 -07:00
Mike McQuaid
aa461148bb
The migration of `orka.rb` and then `o*.rb` has worked well without complaint so: let's move everything else, too.
18 lines
553 B
Ruby
18 lines
553 B
Ruby
cask "tla-plus-toolbox" do
|
|
version "1.7.1"
|
|
sha256 "78e7d0ecbcba63ef7f13f9f315bfb0365a4f1d952caaa11a0a6f86a1bae5ac99"
|
|
|
|
url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip",
|
|
verified: "github.com/tlaplus/tlaplus/"
|
|
name "TLA+ Toolbox"
|
|
desc "IDE for TLA+"
|
|
homepage "https://lamport.azurewebsites.net/tla/toolbox.html"
|
|
|
|
livecheck do
|
|
url :homepage
|
|
regex(%r{href=.*?github.com/tlaplus/tlaplus/releases/tag/v?(\d+(?:\.\d+)+)[\s"]}i)
|
|
end
|
|
|
|
app "TLA+ Toolbox.app"
|
|
end
|