• Building package annotation
From https://github.com/agda/agda
Checking out da046d6903b7f587f5add669650e52f378f57834
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/annotation/
  to /tmp/annotation-LxTYe8/annotation-2.9.0/
  ! src/data/emacs-mode/annotation.el -> annotation.el
Created annotation-2.9.0.tar containing:
  annotation-2.9.0/
  annotation-2.9.0/annotation-pkg.el
  annotation-2.9.0/annotation.el
Built annotation in 6.151s, finished at 2026-11-14T02:47:49+0000