• Building package fstar-mode
From https://github.com/FStarLang/fstar-mode.el
Updating /mnt/store/melpa/working/fstar-mode/
Checking out 3bbfe93abd077103e9e4417d076d4f4d21e9acab
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/fstar-mode/
  to /tmp/fstar-mode-l20qmA/fstar-mode-20250402.820/
    fstar-mode.el -> fstar-mode.el
    etc => etc
Created fstar-mode-20250402.820.tar containing:
  fstar-mode-20250402.820/
  fstar-mode-20250402.820/etc/
  fstar-mode-20250402.820/etc/fslit/
  fstar-mode-20250402.820/etc/fslit/README.rst
  fstar-mode-20250402.820/etc/fslit/README.template.rst
  fstar-mode-20250402.820/etc/fslit/__init__.py
  fstar-mode-20250402.820/etc/fslit/assets/
  fstar-mode-20250402.820/etc/fslit/assets/cm.tango.css
  fstar-mode-20250402.820/etc/fslit/assets/fslit.css
  fstar-mode-20250402.820/etc/fslit/assets/fslit.fstarjs-config.js
  fstar-mode-20250402.820/etc/fslit/assets/fslit.js
  fstar-mode-20250402.820/etc/fslit/assets/fstar.cm.js
  fstar-mode-20250402.820/etc/fslit/docutils4fstar.py
  fstar-mode-20250402.820/etc/fslit/fst2html.py
  fstar-mode-20250402.820/etc/fslit/js.py
  fstar-mode-20250402.820/etc/fslit/lint.py
  fstar-mode-20250402.820/etc/fslit/regen_readme.py
  fstar-mode-20250402.820/etc/fslit/sphinx4fstar.py
  fstar-mode-20250402.820/etc/fslit/translate.py
  fstar-mode-20250402.820/etc/fstar.png
  fstar-mode-20250402.820/etc/icons/
  fstar-mode-20250402.820/etc/icons/dark/
  fstar-mode-20250402.820/etc/icons/dark/cli-verify.png
  fstar-mode-20250402.820/etc/icons/dark/cli-verify.svg
  fstar-mode-20250402.820/etc/icons/dark/cli-verify.xpm
  fstar-mode-20250402.820/etc/icons/dark/copy-error-message.png
  fstar-mode-20250402.820/etc/icons/dark/copy-error-message.svg
  fstar-mode-20250402.820/etc/icons/dark/copy-error-message.xpm
  fstar-mode-20250402.820/etc/icons/dark/eval.png
  fstar-mode-20250402.820/etc/icons/dark/eval.svg
  fstar-mode-20250402.820/etc/icons/dark/eval.xpm
  fstar-mode-20250402.820/etc/icons/dark/ghost.png
  fstar-mode-20250402.820/etc/icons/dark/ghost.svg
  fstar-mode-20250402.820/etc/icons/dark/ghost.xpm
  fstar-mode-20250402.820/etc/icons/dark/goto-end-lax.png
  fstar-mode-20250402.820/etc/icons/dark/goto-end-lax.svg
  fstar-mode-20250402.820/etc/icons/dark/goto-end-lax.xpm
  fstar-mode-20250402.820/etc/icons/dark/goto-end.png
  fstar-mode-20250402.820/etc/icons/dark/goto-end.svg
  fstar-mode-20250402.820/etc/icons/dark/goto-end.xpm
  fstar-mode-20250402.820/etc/icons/dark/goto-point-lax.png
  fstar-mode-20250402.820/etc/icons/dark/goto-point-lax.svg
  fstar-mode-20250402.820/etc/icons/dark/goto-point-lax.xpm
  fstar-mode-20250402.820/etc/icons/dark/goto-point.png
  fstar-mode-20250402.820/etc/icons/dark/goto-point.svg
  fstar-mode-20250402.820/etc/icons/dark/goto-point.xpm
  fstar-mode-20250402.820/etc/icons/dark/list-options.png
  fstar-mode-20250402.820/etc/icons/dark/list-options.svg
  fstar-mode-20250402.820/etc/icons/dark/list-options.xpm
  fstar-mode-20250402.820/etc/icons/dark/lookup-definition.png
  fstar-mode-20250402.820/etc/icons/dark/lookup-definition.svg
  fstar-mode-20250402.820/etc/icons/dark/lookup-definition.xpm
  fstar-mode-20250402.820/etc/icons/dark/lookup-documentation.png
  fstar-mode-20250402.820/etc/icons/dark/lookup-documentation.svg
  fstar-mode-20250402.820/etc/icons/dark/lookup-documentation.xpm
  fstar-mode-20250402.820/etc/icons/dark/next-lax.png
  fstar-mode-20250402.820/etc/icons/dark/next-lax.svg
  fstar-mode-20250402.820/etc/icons/dark/next-lax.xpm
  fstar-mode-20250402.820/etc/icons/dark/next.png
  fstar-mode-20250402.820/etc/icons/dark/next.svg
  fstar-mode-20250402.820/etc/icons/dark/next.xpm
  fstar-mode-20250402.820/etc/icons/dark/outline.png
  fstar-mode-20250402.820/etc/icons/dark/outline.svg
  fstar-mode-20250402.820/etc/icons/dark/outline.xpm
  fstar-mode-20250402.820/etc/icons/dark/preview-rst.png
  fstar-mode-20250402.820/etc/icons/dark/preview-rst.svg
  fstar-mode-20250402.820/etc/icons/dark/preview-rst.xpm
  fstar-mode-20250402.820/etc/icons/dark/previous.png
  fstar-mode-20250402.820/etc/icons/dark/previous.svg
  fstar-mode-20250402.820/etc/icons/dark/previous.xpm
  fstar-mode-20250402.820/etc/icons/dark/quick-peek.png
  fstar-mode-20250402.820/etc/icons/dark/quick-peek.svg
  fstar-mode-20250402.820/etc/icons/dark/quick-peek.xpm
  fstar-mode-20250402.820/etc/icons/dark/quit-windows.png
  fstar-mode-20250402.820/etc/icons/dark/quit-windows.svg
  fstar-mode-20250402.820/etc/icons/dark/quit-windows.xpm
  fstar-mode-20250402.820/etc/icons/dark/reload.png
  fstar-mode-20250402.820/etc/icons/dark/reload.svg
  fstar-mode-20250402.820/etc/icons/dark/reload.xpm
  fstar-mode-20250402.820/etc/icons/dark/search.png
  fstar-mode-20250402.820/etc/icons/dark/search.svg
  fstar-mode-20250402.820/etc/icons/dark/search.xpm
  fstar-mode-20250402.820/etc/icons/dark/settings.png
  fstar-mode-20250402.820/etc/icons/dark/settings.svg
  fstar-mode-20250402.820/etc/icons/dark/settings.xpm
  fstar-mode-20250402.820/etc/icons/dark/stop.png
  fstar-mode-20250402.820/etc/icons/dark/stop.svg
  fstar-mode-20250402.820/etc/icons/dark/stop.xpm
  fstar-mode-20250402.820/etc/icons/dark/switch-to-implementation.png
  fstar-mode-20250402.820/etc/icons/dark/switch-to-implementation.svg
  fstar-mode-20250402.820/etc/icons/dark/switch-to-implementation.xpm
  fstar-mode-20250402.820/etc/icons/dark/switch-to-interface.png
  fstar-mode-20250402.820/etc/icons/dark/switch-to-interface.svg
  fstar-mode-20250402.820/etc/icons/dark/switch-to-interface.xpm
  fstar-mode-20250402.820/etc/icons/dark/switch-to-rst.png
  fstar-mode-20250402.820/etc/icons/dark/switch-to-rst.svg
  fstar-mode-20250402.820/etc/icons/dark/switch-to-rst.xpm
  fstar-mode-20250402.820/etc/icons/light/
  fstar-mode-20250402.820/etc/icons/light/cli-verify.png
  fstar-mode-20250402.820/etc/icons/light/cli-verify.svg
  fstar-mode-20250402.820/etc/icons/light/cli-verify.xpm
  fstar-mode-20250402.820/etc/icons/light/copy-error-message.png
  fstar-mode-20250402.820/etc/icons/light/copy-error-message.svg
  fstar-mode-20250402.820/etc/icons/light/copy-error-message.xpm
  fstar-mode-20250402.820/etc/icons/light/eval.png
  fstar-mode-20250402.820/etc/icons/light/eval.svg
  fstar-mode-20250402.820/etc/icons/light/eval.xpm
  fstar-mode-20250402.820/etc/icons/light/ghost.png
  fstar-mode-20250402.820/etc/icons/light/ghost.svg
  fstar-mode-20250402.820/etc/icons/light/ghost.xpm
  fstar-mode-20250402.820/etc/icons/light/goto-end-lax.png
  fstar-mode-20250402.820/etc/icons/light/goto-end-lax.svg
  fstar-mode-20250402.820/etc/icons/light/goto-end-lax.xpm
  fstar-mode-20250402.820/etc/icons/light/goto-end.png
  fstar-mode-20250402.820/etc/icons/light/goto-end.svg
  fstar-mode-20250402.820/etc/icons/light/goto-end.xpm
  fstar-mode-20250402.820/etc/icons/light/goto-point-lax.png
  fstar-mode-20250402.820/etc/icons/light/goto-point-lax.svg
  fstar-mode-20250402.820/etc/icons/light/goto-point-lax.xpm
  fstar-mode-20250402.820/etc/icons/light/goto-point.png
  fstar-mode-20250402.820/etc/icons/light/goto-point.svg
  fstar-mode-20250402.820/etc/icons/light/goto-point.xpm
  fstar-mode-20250402.820/etc/icons/light/list-options.png
  fstar-mode-20250402.820/etc/icons/light/list-options.svg
  fstar-mode-20250402.820/etc/icons/light/list-options.xpm
  fstar-mode-20250402.820/etc/icons/light/lookup-definition.png
  fstar-mode-20250402.820/etc/icons/light/lookup-definition.svg
  fstar-mode-20250402.820/etc/icons/light/lookup-definition.xpm
  fstar-mode-20250402.820/etc/icons/light/lookup-documentation.png
  fstar-mode-20250402.820/etc/icons/light/lookup-documentation.svg
  fstar-mode-20250402.820/etc/icons/light/lookup-documentation.xpm
  fstar-mode-20250402.820/etc/icons/light/next-lax.png
  fstar-mode-20250402.820/etc/icons/light/next-lax.svg
  fstar-mode-20250402.820/etc/icons/light/next-lax.xpm
  fstar-mode-20250402.820/etc/icons/light/next.png
  fstar-mode-20250402.820/etc/icons/light/next.svg
  fstar-mode-20250402.820/etc/icons/light/next.xpm
  fstar-mode-20250402.820/etc/icons/light/outline.png
  fstar-mode-20250402.820/etc/icons/light/outline.svg
  fstar-mode-20250402.820/etc/icons/light/outline.xpm
  fstar-mode-20250402.820/etc/icons/light/preview-rst.png
  fstar-mode-20250402.820/etc/icons/light/preview-rst.svg
  fstar-mode-20250402.820/etc/icons/light/preview-rst.xpm
  fstar-mode-20250402.820/etc/icons/light/previous.png
  fstar-mode-20250402.820/etc/icons/light/previous.svg
  fstar-mode-20250402.820/etc/icons/light/previous.xpm
  fstar-mode-20250402.820/etc/icons/light/quick-peek.png
  fstar-mode-20250402.820/etc/icons/light/quick-peek.svg
  fstar-mode-20250402.820/etc/icons/light/quick-peek.xpm
  fstar-mode-20250402.820/etc/icons/light/quit-windows.png
  fstar-mode-20250402.820/etc/icons/light/quit-windows.svg
  fstar-mode-20250402.820/etc/icons/light/quit-windows.xpm
  fstar-mode-20250402.820/etc/icons/light/reload.png
  fstar-mode-20250402.820/etc/icons/light/reload.svg
  fstar-mode-20250402.820/etc/icons/light/reload.xpm
  fstar-mode-20250402.820/etc/icons/light/search.png
  fstar-mode-20250402.820/etc/icons/light/search.svg
  fstar-mode-20250402.820/etc/icons/light/search.xpm
  fstar-mode-20250402.820/etc/icons/light/settings.png
  fstar-mode-20250402.820/etc/icons/light/settings.svg
  fstar-mode-20250402.820/etc/icons/light/settings.xpm
  fstar-mode-20250402.820/etc/icons/light/stop.png
  fstar-mode-20250402.820/etc/icons/light/stop.svg
  fstar-mode-20250402.820/etc/icons/light/stop.xpm
  fstar-mode-20250402.820/etc/icons/light/switch-to-implementation.png
  fstar-mode-20250402.820/etc/icons/light/switch-to-implementation.svg
  fstar-mode-20250402.820/etc/icons/light/switch-to-implementation.xpm
  fstar-mode-20250402.820/etc/icons/light/switch-to-interface.png
  fstar-mode-20250402.820/etc/icons/light/switch-to-interface.svg
  fstar-mode-20250402.820/etc/icons/light/switch-to-interface.xpm
  fstar-mode-20250402.820/etc/icons/light/switch-to-rst.png
  fstar-mode-20250402.820/etc/icons/light/switch-to-rst.svg
  fstar-mode-20250402.820/etc/icons/light/switch-to-rst.xpm
  fstar-mode-20250402.820/fstar-mode-pkg.el
  fstar-mode-20250402.820/fstar-mode.el
Built fstar-mode in 5.996s, finished at 2026-06-05T23:50:59+0000