Package: boogie-friends
Fetcher: github
Source:  https://github.com/boogie-org/boogie-friends.git

Updating /mnt/store/melpa/working/boogie-friends/
Checking out 5b32e4859823ed7f5e70fd5d2eac5d813a8e3e51
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/boogie-friends/
  to /tmp/boogie-friendssugQdt/boogie-friends-20221115.658
  ! emacs/boogie-friends-pkg.el -> boogie-friends-pkg.el
  ! emacs/boogie-friends.el -> boogie-friends.el
  ! emacs/boogie-mode.el -> boogie-mode.el
  ! emacs/dafny-docs.el -> dafny-docs.el
  ! emacs/dafny-mode.el -> dafny-mode.el
  ! emacs/inferior-dafny.el -> inferior-dafny.el
  ! emacs/lsp-dafny.el -> lsp-dafny.el
  ! emacs/z3-smt2-mode.el -> z3-smt2-mode.el
  ! emacs/etc => etc
Created boogie-friends-20221115.658.tar containing:
  boogie-friends-20221115.658/
  boogie-friends-20221115.658/boogie-friends-pkg.el
  boogie-friends-20221115.658/boogie-friends.el
  boogie-friends-20221115.658/boogie-mode.el
  boogie-friends-20221115.658/dafny-docs.el
  boogie-friends-20221115.658/dafny-mode.el
  boogie-friends-20221115.658/etc/
  boogie-friends-20221115.658/etc/dafny-attributes
  boogie-friends-20221115.658/etc/dafny-docs.html.gz
  boogie-friends-20221115.658/etc/dafny-snippets
  boogie-friends-20221115.658/inferior-dafny.el
  boogie-friends-20221115.658/lsp-dafny.el
  boogie-friends-20221115.658/z3-smt2-mode.el
 ✓ Success:
  2024-05-01T23:11:09+0000  boogie-friends-20221115.658.entry
  2024-05-01T23:11:09+0000  boogie-friends-20221115.658.tar
Built boogie-friends in 4.310s, finished at 2024-05-01T23:11:11+0000