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

Updating /mnt/store/melpa/working/company-lean/
Checking out 5c50338ac149ca5225fc737be291db1f63c45f1d
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/company-lean/
  to /tmp/company-lean8PnXgf/company-lean-20210305.1705
    company-lean.el -> company-lean.el
Created company-lean-20210305.1705.tar containing:
  company-lean-20210305.1705/
  company-lean-20210305.1705/company-lean-pkg.el
  company-lean-20210305.1705/company-lean.el
 ✓ Success:
  2024-05-02T10:44:57+0000  company-lean-20210305.1705.entry
  2024-05-02T10:44:57+0000  company-lean-20210305.1705.tar
Built company-lean in 3.480s, finished at 2024-05-02T10:44:58+0000