Package: eri
Fetcher: github
Source:  https://github.com/agda/agda.git

Updating /mnt/store/melpa/working/eri/
Checking out d4ac6d038e25bb8d4912da7a4c5df91a856e1c9c
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/eri/
  to /tmp/eriBKWsqI/eri-20240220.2129
  ! src/data/emacs-mode/eri.el -> eri.el
Created eri-20240220.2129.tar containing:
  eri-20240220.2129/
  eri-20240220.2129/eri-pkg.el
  eri-20240220.2129/eri.el
 ✓ Success:
  2024-05-01T23:27:23+0000  eri-20240220.2129.entry
  2024-05-01T23:27:23+0000  eri-20240220.2129.tar
Built eri in 7.993s, finished at 2024-05-01T23:27:25+0000