• Building package agda-lib-mode
From https://codeberg.org/heraplem/agda-lib-mode
Updating /mnt/store/melpa/working/agda-lib-mode/
Checking out 1cf7d486753887736eef6cae2688b2a05f9c1854
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/agda-lib-mode/
  to /tmp/agda-lib-mode-F7AzYz/agda-lib-mode-20251013.2307/
    agda-lib-mode.el -> agda-lib-mode.el
Created agda-lib-mode-20251013.2307.tar containing:
  agda-lib-mode-20251013.2307/
  agda-lib-mode-20251013.2307/agda-lib-mode-pkg.el
  agda-lib-mode-20251013.2307/agda-lib-mode.el
Built agda-lib-mode in 12.799s, finished at 2026-05-26T17:50:15+0000