Package: helm-idris
Fetcher: github
Source:  https://github.com/david-christiansen/helm-idris.git

Updating /mnt/store/melpa/working/helm-idris/
Checking out a2f45d6817974f318b55ad9b7fd19d5df132d47e
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/helm-idris/
  to /tmp/helm-idrisYlNzvo/helm-idris-20141202.1757
    helm-idris.el -> helm-idris.el
Created helm-idris-20141202.1757.tar containing:
  helm-idris-20141202.1757/
  helm-idris-20141202.1757/helm-idris-pkg.el
  helm-idris-20141202.1757/helm-idris.el
 ✓ Success:
  2024-05-02T04:10:54+0000  helm-idris-20141202.1757.entry
  2024-05-02T04:10:54+0000  helm-idris-20141202.1757.tar
Built helm-idris in 3.099s, finished at 2024-05-02T04:10:55+0000