• Building package rocq-timing (from github:Chobbes/rocq-timing-el)...
Updating /mnt/store/melpa/working/rocq-timing/
Cannot determine version for rocq-timing
 ✗ Cannot determine version!
Fetched rocq-timing in 1.923s, finished at 2026-05-03T19:38:04+0000