lean-cli: update 0.17.1 bottle.

This commit is contained in:
BrewTestBot 2017-11-06 13:09:29 +00:00 committed by William Woodruff
parent 4a702802f5
commit 8aa57b7c77
No known key found for this signature in database
GPG key ID: 85AE00C504833B3C

View file

@ -7,9 +7,9 @@ class LeanCli < Formula
bottle do
cellar :any_skip_relocation
sha256 "3e80626dbf7efd1e5c509e5af4c7cd92c8003487c5a3ca1ed989471aad785c80" => :high_sierra
sha256 "e9c7fd636b43d700d52e45d07d7ecf6d625e0b3df61b18c5af979ca202593519" => :sierra
sha256 "3a33f49c57410134a2d8ae4f995b3bf67228cf375bcf5460f2bc096d34903430" => :el_capitan
sha256 "69f56f34e007558aadf3e26d41fa10218b7d53f4eef6b513eb0d1052cb0793f5" => :high_sierra
sha256 "c0a3d9864ce3c81646e8ee5df4f6b66aef507eeb60efa5165798fa4e75b185a5" => :sierra
sha256 "9f7963c4157e1068113d4402a6dd6cfde11d54414804ade84f6696ce6cd226c9" => :el_capitan
end
depends_on "go" => :build