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

Updating /mnt/store/melpa/working/company-lean/
Cannot determine version for company-lean
 ✗ Cannot determine version!
Fetched company-lean in 2.255s, finished at 2024-10-20T18:57:40+0000