(source gnu)
(source melpa)

(package-file "boogie-friends.el")

;; for lsp-dafny.el
(depends-on "lsp-mode")
