Package: company-lean
Fetcher: github
Source:  https://github.com/leanprover/lean-mode.git

Cannot determine version for company-lean
 ✗ Cannot determine version!
Fetched company-lean in 0.042s, finished at 2024-05-04T05:27:55+0000