• Building package annotation
From https://github.com/agda/agda
Checking out 001a4ede95950a55099ee7eaf583288606fb8272
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/annotation/
  to /tmp/annotation-hqu8SI/annotation-2.8.0.1/
  ! src/data/emacs-mode/annotation.el -> annotation.el
Created annotation-2.8.0.1.tar containing:
  annotation-2.8.0.1/
  annotation-2.8.0.1/annotation-pkg.el
  annotation-2.8.0.1/annotation.el
Built annotation in 4.422s, finished at 2026-09-01T02:16:34+0000