Package: cryptol-mode
Fetcher: github
Source:  https://github.com/thoughtpolice/cryptol-mode.git

Checking out a54d000d24757fad2a91ae2853b16a97ebe52771
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/cryptol-mode/
  to /tmp/cryptol-modeJDg7yi/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
 ✓ Success:
  2024-05-04T05:29:03+0000  cryptol-mode-0.1.0.entry
  2024-05-04T05:29:03+0000  cryptol-mode-0.1.0.tar
Built cryptol-mode in 2.060s, finished at 2024-05-04T05:29:04+0000