Package: fstar-mode
Fetcher: github
Source:  https://github.com/FStarLang/fstar-mode.el.git

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-modeplKDt1/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
 ✓ Success:
  2024-05-04T05:38:19+0000  fstar-mode-0.9.4.0.entry
  2024-05-04T05:38:19+0000  fstar-mode-0.9.4.0.tar
Built fstar-mode in 2.720s, finished at 2024-05-04T05:38:21+0000