GitHub repository: leanprover/macports
Primary language: Shell
Description: macports repository for Lean