• Building package agda-lib-mode (from codeberg:heraplem/agda-lib-mode)...
Updating /mnt/store/melpa/working/agda-lib-mode/
Cannot determine version for agda-lib-mode
 ✗ Cannot determine version!
Fetched agda-lib-mode in 3.469s, finished at 2026-05-03T18:38:51+0000