• Building package eri
From https://github.com/agda/agda
Updating /mnt/store/melpa/working/eri/
Checking out 3d04bacca842729f9c0869b9287256321b5f450f
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/eri/
  to /tmp/eri-SU6be9/eri-2.8.0/
  ! src/data/emacs-mode/eri.el -> eri.el
Created eri-2.8.0.tar containing:
  eri-2.8.0/
  eri-2.8.0/eri-pkg.el
  eri-2.8.0/eri.el
Built eri in 5.059s, finished at 2026-06-07T04:08:57+0000