• Building package dedukti-mode
From https://github.com/rafoo/dedukti-mode
Updating /mnt/store/melpa/working/dedukti-mode/
Checking out d7c3505a1046187de3c3aeb144455078d514594e
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/dedukti-mode/
  to /tmp/dedukti-mode-2n6eqw/dedukti-mode-20171103.1212/
    dedukti-mode.el -> dedukti-mode.el
Created dedukti-mode-20171103.1212.tar containing:
  dedukti-mode-20171103.1212/
  dedukti-mode-20171103.1212/dedukti-mode-pkg.el
  dedukti-mode-20171103.1212/dedukti-mode.el
Built dedukti-mode in 4.600s, finished at 2026-06-05T23:29:10+0000