• Building package cubicle-mode From https://github.com/cubicle-model-checker/cubicle Updating /mnt/store/melpa/working/cubicle-mode/ Checking out 7679c8452051ed5c89f891c72c6ada76757fc935 Copying files (->) and directories (=>) from /mnt/store/melpa/working/cubicle-mode/ to /tmp/cubicle-mode-MwfBRd/cubicle-mode-20221031.2122/ ! emacs/cubicle-mode.el -> cubicle-mode.el Created cubicle-mode-20221031.2122.tar containing: cubicle-mode-20221031.2122/ cubicle-mode-20221031.2122/cubicle-mode-pkg.el cubicle-mode-20221031.2122/cubicle-mode.el Built cubicle-mode in 4.517s, finished at 2026-06-05T23:27:22+0000