wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

cryptol: update 2.4.0 bottle.

Browse source
This commit is contained in:
BrewTestBot 2016-09-28 23:07:55 +01:00 committed by Zhiming Wang
parent beb0dee444
commit 378c79c23c
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Formula/cryptol.rb
View file

@ -10,6 +10,7 @@ class Cryptol < Formula
head "https://github.com/GaloisInc/cryptol.git"
bottle do
sha256 "c4f1f4823f79389a05325ed317bdb26bab0a9831446a2ffce7d6885d0bed2358" => :sierra
sha256 "a5f2ee4dd5b97cd902df46add9279e1575bd053d0638cceb27df4d250952e1c7" => :el_capitan
sha256 "605b746d10521d8b5de1c8711974eed1c929490e35417927f1ca000c477cd705" => :yosemite
sha256 "baaf041702d1bd513e7ec73ee373224da009bdc7609ba13cd3aa2d6ca8141ae3" => :mavericks