• Building package eri
From https://github.com/agda/agda
Checking out cccf42fa88eae25ccbe2623f489021d2075f6f73
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/eri/
  to /tmp/eri-TFKwcz/eri-2.8.0.2/
  ! src/data/emacs-mode/eri.el -> eri.el
Created eri-2.8.0.2.tar containing:
  eri-2.8.0.2/
  eri-2.8.0.2/eri-pkg.el
  eri-2.8.0.2/eri.el
Built eri in 4.386s, finished at 2026-09-26T00:22:13+0000