Package: lambdapi-mode
Fetcher: github
Source:  https://github.com/Deducteam/lambdapi.git

Checking out 3730715c845c0732b912e10e14391350c327b6d3
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/lambdapi-mode/
  to /tmp/lambdapi-mode3Cdqyb/lambdapi-mode-2.5.0
  ! editors/emacs/lambdapi-abbrev.el -> lambdapi-abbrev.el
  ! editors/emacs/lambdapi-capf.el -> lambdapi-capf.el
  ! editors/emacs/lambdapi-input.el -> lambdapi-input.el
  ! editors/emacs/lambdapi-layout.el -> lambdapi-layout.el
  ! editors/emacs/lambdapi-mode.el -> lambdapi-mode.el
  ! editors/emacs/lambdapi-proofs.el -> lambdapi-proofs.el
  ! editors/emacs/lambdapi-smie.el -> lambdapi-smie.el
  ! editors/emacs/lambdapi-vars.el -> lambdapi-vars.el
Created lambdapi-mode-2.5.0.tar containing:
  lambdapi-mode-2.5.0/
  lambdapi-mode-2.5.0/lambdapi-abbrev.el
  lambdapi-mode-2.5.0/lambdapi-capf.el
  lambdapi-mode-2.5.0/lambdapi-input.el
  lambdapi-mode-2.5.0/lambdapi-layout.el
  lambdapi-mode-2.5.0/lambdapi-mode-pkg.el
  lambdapi-mode-2.5.0/lambdapi-mode.el
  lambdapi-mode-2.5.0/lambdapi-proofs.el
  lambdapi-mode-2.5.0/lambdapi-smie.el
  lambdapi-mode-2.5.0/lambdapi-vars.el
 ✓ Success:
  2024-05-04T10:35:42+0000  lambdapi-mode-2.5.0.entry
  2024-05-04T10:35:42+0000  lambdapi-mode-2.5.0.tar
Built lambdapi-mode in 2.439s, finished at 2024-05-04T10:35:43+0000