Package: cubicle-mode
Fetcher: github
Source:  https://github.com/cubicle-model-checker/cubicle.git

Checking out 7679c8452051ed5c89f891c72c6ada76757fc935
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/cubicle-mode/
  to /tmp/cubicle-moderOvlGK/cubicle-mode-1.2.0
  ! emacs/cubicle-mode.el -> cubicle-mode.el
Created cubicle-mode-1.2.0.tar containing:
  cubicle-mode-1.2.0/
  cubicle-mode-1.2.0/cubicle-mode-pkg.el
  cubicle-mode-1.2.0/cubicle-mode.el
 ✓ Success:
  2024-05-04T10:18:20+0000  cubicle-mode-1.2.0.entry
  2024-05-04T10:18:20+0000  cubicle-mode-1.2.0.tar
Built cubicle-mode in 2.714s, finished at 2024-05-04T10:18:22+0000