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

lean-cli: update 0.21.0 bottle.

Browse source
This commit is contained in:
BrewTestBot 2019-10-18 09:29:47 +00:00 committed by FX Coudert
parent 874be16527
commit 0aea1eaf8c
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/lean-cli.rb
View file

@ -7,6 +7,7 @@ class LeanCli < Formula
bottle do
cellar :any_skip_relocation
sha256 "0442dfa2d85d2220cb0d79559878d71b0447850da77975307c11c2da7c0fb7c9" => :catalina
sha256 "de13c20a85a6f638a4b6134a889fa52316916cac183d8fb5956710eea4e32453" => :mojave
sha256 "977d34c18bac304b6e1a1ef3fe6d0d6a5be3204f3f6b6471204a78f5eedc1e14" => :high_sierra
sha256 "e5f87605029c8558975decaa755cdf9566593adf08d0fe44669615e9869be25e" => :sierra