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 2017-05-28 14:42:11 +00:00 committed by ilovezfs
parent 06b092bfb1
commit c879b09d48
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Formula/cryptol.rb
View file

@ -10,10 +10,10 @@ 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
rebuild 1
sha256 "f8d570b0356554ecedca6d9e98424a32d6e3d7c3bd2bc0404dafeab024f38164" => :sierra
sha256 "e08c9574f9a81cc94f09ba5266c83e5fc5923e689ad67f72b24fddcfeb3448b6" => :el_capitan
sha256 "5f2851f14e27b4cb9989f28f23bd019b889e17cceec264a258a33983bbbe5a47" => :yosemite
end
depends_on "ghc" => :build