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

Updating /mnt/store/melpa/working/helm-lean/
Checking out 5c50338ac149ca5225fc737be291db1f63c45f1d
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/helm-lean/
  to /tmp/helm-lean6bEhGm/helm-lean-20210305.1705
    helm-lean.el -> helm-lean.el
Created helm-lean-20210305.1705.tar containing:
  helm-lean-20210305.1705/
  helm-lean-20210305.1705/helm-lean-pkg.el
  helm-lean-20210305.1705/helm-lean.el
 ✓ Success:
  2024-10-20T18:11:10+0000  helm-lean-20210305.1705.entry
  2024-10-20T18:11:10+0000  helm-lean-20210305.1705.tar
Built helm-lean in 2.255s, finished at 2024-10-20T18:11:11+0000