Package: coq-commenter
Fetcher: github
Source:  https://github.com/Ailrun/coq-commenter.git

Updating /mnt/store/melpa/working/coq-commenter/
Checking out 7fe9a2cc0ebdb0b1e54a24eb7971d757fb588ac3
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/coq-commenter/
  to /tmp/coq-commenterD0z5og/coq-commenter-20170822.2309
    coq-commenter.el -> coq-commenter.el
Created coq-commenter-20170822.2309.tar containing:
  coq-commenter-20170822.2309/
  coq-commenter-20170822.2309/coq-commenter-pkg.el
  coq-commenter-20170822.2309/coq-commenter.el
 ✓ Success:
  2024-05-01T23:17:29+0000  coq-commenter-20170822.2309.entry
  2024-05-01T23:17:28+0000  coq-commenter-20170822.2309.tar
Built coq-commenter in 3.561s, finished at 2024-05-01T23:17:30+0000