dnrops
/
homebrew-cask
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Upgrade TLA+ Toolbox to 1.5.1 

This updates TLA+ Toolbox to version 1.5.1.
This commit is contained in:
Manuel Odendahl 2015-08-01 19:00:53 -04:00 committed by Josh Hagins
parent 6c356a375b
commit bf21c78f8d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Casks/tla-plus-toolbox.rb
View File

@ -1,9 +1,9 @@
cask :v1 => 'tla-plus-toolbox' do
version '1.4.8'
sha256 '7f7aec6cc69af1bdbe01e35110939f83b4f880aeec88ce069b9128ab1653da3a'
version '1.5.1'
sha256 'd0d966c6742c6011d46e6de6760bf7300ed49649a85bccab0b097b0ec5ad42cd'
# inria.fr is the official download host per the vendor homepage
url 'https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-1.4.8-macosx.cocoa.x86_64.zip'
url "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-#{version}-macosx.cocoa.x86_64.zip"
name 'TLA+ Toolbox'
homepage 'http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html'
license :mit