diff options
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/cryptol.rb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Library/Formula/cryptol.rb b/Library/Formula/cryptol.rb index 4078cae8b..d64229c4f 100644 --- a/Library/Formula/cryptol.rb +++ b/Library/Formula/cryptol.rb @@ -10,9 +10,9 @@ class Cryptol < Formula head "https://github.com/GaloisInc/cryptol.git" bottle do - sha256 "6579d3c4aaad5c7c5a45b7185454572c32fdc03feede6a18376f5cca142b0adc" => :yosemite - sha256 "fc2210e5169622d485648e1e187cdd51d1d8dae1a393b2a4ce765ae23c0fd7ba" => :mavericks - sha256 "393b778484108ce0081612851bf7b7d7ad03f4f751a051be7997b4281dd6059e" => :mountain_lion + sha256 "9484b0bd7ee276b87e5c6f097079346495896eb972be09643b3de9f52981664f" => :yosemite + sha256 "8ac78ea69c34dc0f8677288d085a4efe5558bd4c94095b81afd8578cdc007621" => :mavericks + sha256 "280b21bd7084c3714f157988a799303d2aaeb51419123af7a08c631d4bec4e0a" => :mountain_lion end depends_on "ghc" => :build |