Package: annotation
Fetcher: github
Source:  https://github.com/agda/agda.git

Updating /mnt/store/melpa/working/annotation/
Checking out aa5e3a127bf17a8c80d947f3c286758a36dadc36
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/annotation/
  to /tmp/annotationeYe9rA/annotation-20200914.644
  ! src/data/emacs-mode/annotation.el -> annotation.el
Created annotation-20200914.644.tar containing:
  annotation-20200914.644/
  annotation-20200914.644/annotation-pkg.el
  annotation-20200914.644/annotation.el
 ✓ Success:
  2024-05-02T03:38:11+0000  annotation-20200914.644.entry
  2024-05-02T03:38:11+0000  annotation-20200914.644.tar
Built annotation in 12.958s, finished at 2024-05-02T03:38:13+0000