summaryrefslogtreecommitdiff
path: root/homebrew/lean/_metadata/name
blob: 912d7033879349b2993f87a527f5fe9ad4fc5a81 (plain)
1
Lean