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

Cannot determine version for lean-mode
 ✗ Cannot determine version!
Fetched lean-mode in 0.052s, finished at 2024-05-04T05:46:29+0000