From b06152bebeb35cebebd295ccd3c28a410d874cef Mon Sep 17 00:00:00 2001
From: BrewTestBot
Date: Fri, 27 Mar 2015 09:47:04 +0000
Subject: cryptol: add 2.2.1 bottle.

---
 Library/Formula/cryptol.rb | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Library/Formula')

diff --git a/Library/Formula/cryptol.rb b/Library/Formula/cryptol.rb
index a6f38eafd..74cdf0d91 100644
--- a/Library/Formula/cryptol.rb
+++ b/Library/Formula/cryptol.rb
@@ -10,6 +10,12 @@ class Cryptol < Formula
   sha256 "90d2cbe35db8b2a9fcd78eaa2c08ab0cd81641a30949ab855dde71d17429d3ee"
   head "https://github.com/GaloisInc/cryptol.git"
 
+  bottle do
+    sha256 "6579d3c4aaad5c7c5a45b7185454572c32fdc03feede6a18376f5cca142b0adc" => :yosemite
+    sha256 "fc2210e5169622d485648e1e187cdd51d1d8dae1a393b2a4ce765ae23c0fd7ba" => :mavericks
+    sha256 "393b778484108ce0081612851bf7b7d7ad03f4f751a051be7997b4281dd6059e" => :mountain_lion
+  end
+
   depends_on "ghc" => :build
   depends_on "cabal-install" => :build
   depends_on "cvc4"
-- 
cgit v1.2.3