• Building package annotation
From https://github.com/agda/agda
Updating /mnt/store/melpa/working/annotation/
Checking out 213db6e50bb89c1b0b2832eab4c6caafb137eb6d
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/annotation/
  to /tmp/annotation-qiUPG0/annotation-20250805.1029/
  ! src/data/emacs-mode/annotation.el -> annotation.el
Created annotation-20250805.1029.tar containing:
  annotation-20250805.1029/
  annotation-20250805.1029/annotation-pkg.el
  annotation-20250805.1029/annotation.el
Built annotation in 22.924s, finished at 2026-09-01T22:03:58+0000