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

cryptol: update to 2.2.1
2015-04-04 09:40:18 -04:00 · 2015-04-04 09:40:18 -04:00 · dde526c86f
parent 9260e9e8bd 1879157b60
commit dde526c86f
1 changed files with 2 additions and 2 deletions
--- a/Casks/cryptol.rb
+++ b/Casks/cryptol.rb
@ -1,6 +1,6 @@
 cask :v1 => 'cryptol' do
-  version '2.2.0'
-  sha256 'c6f942461de96daf2d4c4ea2e46de0f5f2b603e24a7bcaeda345f4ac9afc48d1'
+  version '2.2.1'
+  sha256 'f540f49ee982559f3a4baa34a489c969ac632ff6e1904b4fafcc7e609396f75d'

  # 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"