diff options
| author | BrewTestBot | 2015-03-27 09:47:04 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2015-03-30 08:38:02 +0100 |
| commit | b06152bebeb35cebebd295ccd3c28a410d874cef (patch) | |
| tree | ae8a095802721e03a01ca9125c208f1aefaa7fba /Library | |
| parent | 51f278a71f50b761de5420e1ed1fc3e02f9021d8 (diff) | |
| download | homebrew-b06152bebeb35cebebd295ccd3c28a410d874cef.tar.bz2 | |
cryptol: add 2.2.1 bottle.
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/cryptol.rb | 6 |
1 files changed, 6 insertions, 0 deletions
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" |