See https://github.com/Homebrew/homebrew-core/blob/master/Formula/lean.rb - View it on GitHub