• Building package annotation
From https://github.com/agda/agda
Updating /mnt/store/melpa/working/annotation/
Checking out 3d04bacca842729f9c0869b9287256321b5f450f
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/annotation/
  to /tmp/annotation-TxvDBS/annotation-2.8.0/
  ! src/data/emacs-mode/annotation.el -> annotation.el
Created annotation-2.8.0.tar containing:
  annotation-2.8.0/
  annotation-2.8.0/annotation-pkg.el
  annotation-2.8.0/annotation.el
Built annotation in 5.802s, finished at 2026-05-17T08:17:00+0000