• Building package fstar-mode
From https://github.com/FStarLang/fstar-mode.el
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-sOU1tk/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 2.044s, finished at 2026-08-30T00:14:23+0000