• Building package rocq-timing (from github:Chobbes/rocq-timing-el)...
Updating /mnt/store/melpa/working/rocq-timing/
Checking out 5423ac37dc6a6abff74e59ac299b57746462bd02
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/rocq-timing/
  to /tmp/rocq-timing-KhYmJw/rocq-timing-20260417.1401
    rocq-timing.el -> rocq-timing.el
Created rocq-timing-20260417.1401.tar containing:
  rocq-timing-20260417.1401/
  rocq-timing-20260417.1401/rocq-timing-pkg.el
  rocq-timing-20260417.1401/rocq-timing.el
 ✓ Success:
  2026-04-29T17:46:29+0000  rocq-timing-20260417.1401.entry
  2026-04-29T17:46:29+0000  rocq-timing-20260417.1401.tar
Built rocq-timing in 4.509s, finished at 2026-04-29T17:46:30+0000