• Building package rocq-timing
From https://github.com/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-WFULGf/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
Built rocq-timing in 2.727s, finished at 2026-05-24T13:46:03+0000