• 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-BlU0SL/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 21.906s, finished at 2026-08-24T22:09:14+0000