• Building package helm-idris
From https://github.com/david-christiansen/helm-idris
Updating /mnt/store/melpa/working/helm-idris/
Checking out a2f45d6817974f318b55ad9b7fd19d5df132d47e
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/helm-idris/
  to /tmp/helm-idris-aoqX6A/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
Built helm-idris in 3.759s, finished at 2026-06-05T23:59:26+0000