From 228a3626346a0551fd00cdbf614f9d7f571e6a37 Mon Sep 17 00:00:00 2001
From: ndr <ndr@qef.io>
Date: Wed, 3 Jun 2015 12:40:08 +0100
Subject: [PATCH] cryptol: update to 2.2.4

---
 Casks/cryptol.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Casks/cryptol.rb b/Casks/cryptol.rb
index b30cabe5ac9..cc08885a41d 100644
--- a/Casks/cryptol.rb
+++ b/Casks/cryptol.rb
@@ -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"