BDEPEND=>=app-editors/emacs-26.3:*
DEFINED_PHASES=compile configure info install postinst postrm prepare setup test unpack
DEPEND=app-emacs/company app-emacs/dash app-emacs/flycheck app-emacs/yasnippet
DESCRIPTION=A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2)
EAPI=8
HOMEPAGE=https://github.com/boogie-org/boogie-friends/
KEYWORDS=~amd64 ~x86
RDEPEND=app-emacs/company app-emacs/dash app-emacs/flycheck app-emacs/yasnippet >=app-editors/emacs-26.3:*
SLOT=0
SRC_URI=https://melpa.org/packages/boogie-friends-20260804.2236.tar
_eclasses_=elisp	8e56606e40554fd24928b6bc76ef3c7a	elisp-common	0ea9a0d3bc26353e1642c73560a24fdf	g-sorcery	692c9ad583c66d03e7c0e8b3b106a435	gs-elpa	df4b672ca6bb8e009e294018c3bee8bf
_md5_=f2b7df2db3e1bf7918eedd719eac796c