• Building package cryptol-mode
From https://github.com/thoughtpolice/cryptol-mode
Checking out a54d000d24757fad2a91ae2853b16a97ebe52771
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/cryptol-mode/
  to /tmp/cryptol-mode-QkV0c5/cryptol-mode-0.1.0/
    cryptol-mode.el -> cryptol-mode.el
Created cryptol-mode-0.1.0.tar containing:
  cryptol-mode-0.1.0/
  cryptol-mode-0.1.0/cryptol-mode-pkg.el
  cryptol-mode-0.1.0/cryptol-mode.el
Built cryptol-mode in 1.249s, finished at 2026-08-30T00:03:22+0000