• Building package agda-editor-tactics
From https://github.com/alhassy/next-700-module-systems
Updating /mnt/store/melpa/working/agda-editor-tactics/
Checking out 06e374516cb2ab17018985f3dc4fccdc4acefd08
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/agda-editor-tactics/
  to /tmp/agda-editor-tactics-Lu2FaL/agda-editor-tactics-20211024.2357/
    agda-editor-tactics.el -> agda-editor-tactics.el
Created agda-editor-tactics-20211024.2357.tar containing:
  agda-editor-tactics-20211024.2357/
  agda-editor-tactics-20211024.2357/agda-editor-tactics-pkg.el
  agda-editor-tactics-20211024.2357/agda-editor-tactics.el
Built agda-editor-tactics in 5.132s, finished at 2026-06-05T23:09:44+0000