/homebrew/lean/

• ../
• .beer
• .make.sh-auto
• _metadata
• download.sh