13 lines
509 B
Ruby
13 lines
509 B
Ruby
cask 'tla-plus-toolbox' do
|
|
version '1.7.0'
|
|
sha256 '66ee35f952fd80239cbf3c7e869bd0315234165677efc2a0f00d2a00ac1c6512'
|
|
|
|
# github.com/tlaplus/tlaplus/ was verified as official when first introduced to the cask
|
|
url "https://github.com/tlaplus/tlaplus/releases/download/v#{version}/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip"
|
|
appcast 'https://github.com/tlaplus/tlaplus/releases.atom'
|
|
name 'TLA+ Toolbox'
|
|
homepage 'https://lamport.azurewebsites.net/tla/toolbox.html'
|
|
|
|
app 'TLA+ Toolbox.app'
|
|
end
|