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

Cannot determine version for helm-lean
 ✗ Cannot determine version!
Fetched helm-lean in 0.066s, finished at 2024-05-04T05:41:24+0000