Package: redtt
Fetcher: github
Source:  https://github.com/RedPRL/redtt.git

Updating /mnt/store/melpa/working/redtt/
Checking out c95d1a0787fb92eb011df690b4bdc1029a611c0b
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/redtt/
  to /tmp/redtt68dnnJ/redtt-20181121.21
  ! emacs/redtt.el -> redtt.el
Created redtt-20181121.21.tar containing:
  redtt-20181121.21/
  redtt-20181121.21/redtt-pkg.el
  redtt-20181121.21/redtt.el
 ✓ Success:
  2024-05-02T04:43:18+0000  redtt-20181121.21.entry
  2024-05-02T04:43:18+0000  redtt-20181121.21.tar
Built redtt in 6.518s, finished at 2024-05-02T04:43:21+0000