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

Updating /mnt/store/melpa/working/lean-mode/
Checking out 99d6a34dc5b12f6e996e9217fa9f6fe4a6af037a
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/lean-mode/
  to /tmp/lean-modexixeCp/lean-mode-20230611.728
    lean-debug.el -> lean-debug.el
    lean-dev.el -> lean-dev.el
    lean-eri.el -> lean-eri.el
    lean-flycheck.el -> lean-flycheck.el
    lean-hole.el -> lean-hole.el
    lean-info.el -> lean-info.el
    lean-input.el -> lean-input.el
    lean-leanpkg.el -> lean-leanpkg.el
    lean-message-boxes.el -> lean-message-boxes.el
    lean-mode.el -> lean-mode.el
    lean-right-click.el -> lean-right-click.el
    lean-server.el -> lean-server.el
    lean-settings.el -> lean-settings.el
    lean-syntax.el -> lean-syntax.el
    lean-type.el -> lean-type.el
    lean-util.el -> lean-util.el
Created lean-mode-20230611.728.tar containing:
  lean-mode-20230611.728/
  lean-mode-20230611.728/lean-debug.el
  lean-mode-20230611.728/lean-dev.el
  lean-mode-20230611.728/lean-eri.el
  lean-mode-20230611.728/lean-flycheck.el
  lean-mode-20230611.728/lean-hole.el
  lean-mode-20230611.728/lean-info.el
  lean-mode-20230611.728/lean-input.el
  lean-mode-20230611.728/lean-leanpkg.el
  lean-mode-20230611.728/lean-message-boxes.el
  lean-mode-20230611.728/lean-mode-pkg.el
  lean-mode-20230611.728/lean-mode.el
  lean-mode-20230611.728/lean-right-click.el
  lean-mode-20230611.728/lean-server.el
  lean-mode-20230611.728/lean-settings.el
  lean-mode-20230611.728/lean-syntax.el
  lean-mode-20230611.728/lean-type.el
  lean-mode-20230611.728/lean-util.el
 ✓ Success:
  2024-05-01T21:34:35+0000  lean-mode-20230611.728.entry
  2024-05-01T21:34:35+0000  lean-mode-20230611.728.tar
Built lean-mode in 4.048s, finished at 2024-05-01T21:34:37+0000