• Building package cryptol-mode
From https://github.com/thoughtpolice/cryptol-mode
Updating /mnt/store/melpa/working/cryptol-mode/
Checking out 81ebbde83f7cb75b2dfaefc09de6a1703068c769
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/cryptol-mode/
  to /tmp/cryptol-mode-yZZMY3/cryptol-mode-20190531.2051/
    cryptol-mode.el -> cryptol-mode.el
Created cryptol-mode-20190531.2051.tar containing:
  cryptol-mode-20190531.2051/
  cryptol-mode-20190531.2051/cryptol-mode-pkg.el
  cryptol-mode-20190531.2051/cryptol-mode.el
Built cryptol-mode in 3.513s, finished at 2026-08-24T22:22:00+0000