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

lean: update 3.4.2 bottle.

Browse source
This commit is contained in:
BrewTestBot 2019-11-02 07:59:46 +00:00 committed by FX Coudert
parent 4e348daa8e
commit 6747d9e6b5
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.rb
View file

@ -7,6 +7,7 @@ class Lean < Formula
bottle do
cellar :any
sha256 "93067a139b696eec75222a9f14209b1221576281f52238dec585d11f7a39a1c0" => :catalina
sha256 "a4e42293767b2c39d46ededd68ccdbae0deddc8280a8d5a0004390091e91acd4" => :mojave
sha256 "31506dc58b1108625510415a551fea963739898ad675d8cb3023af6e3922e109" => :high_sierra
sha256 "a5df8afdccd0db40f4a9c8184d9197a8a66a47b2c2bbf7451e05976b13274025" => :sierra