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

Merge pull request #11553 from ndr-qef/casks/cryptol 

cryptol: update to 2.2.4
This commit is contained in:
Vítor Galvão 2015-06-03 15:06:21 +01:00
parent 780e5a9258 228a362634
commit 6af7189ff8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Casks/cryptol.rb
View File

@ -1,6 +1,6 @@
cask :v1 => 'cryptol' do
version '2.2.3'
sha256 '1971121942379c782e05fdbc58b912a617461477290c6803cd037fbaef20fef7'
version '2.2.4'
sha256 'a90a49101880980e472dbcd333568bbd5880fa33e998f2345701e0e15493f8a1'
# github.com is the official download host per the vendor homepage
url "https://github.com/GaloisInc/cryptol/releases/download/v#{version}/cryptol-#{version}-MacOSX-64.tar.gz"