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

re-use version in cryptol

This commit is contained in:
Roland Walker 2014-09-26 08:08:51 -04:00
parent 03a7ddce3c
commit 7b8791d4fb
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/cryptol.rb
View File

@ -2,11 +2,11 @@ class Cryptol < Cask
version '2.0.0'
sha256 '19b3c24390ccb66584f42f34fed91cefc12f667879ab0228cdf806016bcd53c4'
url 'https://github.com/GaloisInc/cryptol/releases/download/v2.0.0/cryptol-2.0.0-MacOSX-64.tar.gz'
url "https://github.com/GaloisInc/cryptol/releases/download/v#{version}/cryptol-#{version}-MacOSX-64.tar.gz"
homepage 'http://cryptol.net/'
binary 'cryptol-2.0.0-MacOSX-64/bin/cryptol'
binary 'cryptol-2.0.0-MacOSX-64/lib/Cryptol.cry', :target => '/usr/local/lib/Cryptol.cry'
binary "cryptol-#{version}-MacOSX-64/bin/cryptol"
binary "cryptol-#{version}-MacOSX-64/lib/Cryptol.cry", :target => '/usr/local/lib/Cryptol.cry'
caveats do
files_in_usr_local