• Building package fstar-mode
From https://github.com/FStarLang/fstar-mode.el
Updating /mnt/store/melpa/working/fstar-mode/
Checking out 3a9be64827bbed8e34d38803b5c44d8d4f6cd688
Warning: fstar-mode :files spec is equivalent to the default
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/fstar-mode/
  to /tmp/fstar-mode-ZVWT0G/fstar-mode-0.9.4.0/
    fstar-mode.el -> fstar-mode.el
Created fstar-mode-0.9.4.0.tar containing:
  fstar-mode-0.9.4.0/
  fstar-mode-0.9.4.0/fstar-mode-pkg.el
  fstar-mode-0.9.4.0/fstar-mode.el
Built fstar-mode in 3.046s, finished at 2026-06-07T04:14:59+0000