View Raw Ebuild
# automatically generated by g-sorcery
# please do not edit this file
EAPI=8
REPO_URI="https://melpa.org/packages/"
SOURCE_TYPE="tar"
REALNAME="boogie-friends"
DIGEST_SOURCES="yes"
inherit g-sorcery gs-elpa
DESCRIPTION="A collection of programming modes for Boogie, Dafny, and Z3 (SMTLIB v2)"
HOMEPAGE="https://github.com/boogie-org/boogie-friends/"
SRC_URI="${REPO_URI}${REALNAME}-${PV}.${SUFFIX}"
SLOT="0"
KEYWORDS="~amd64 ~x86"
DEPEND="app-emacs/dash
app-emacs/flycheck
app-emacs/yasnippet
app-emacs/company"
RDEPEND="app-emacs/dash
app-emacs/flycheck
app-emacs/yasnippet
app-emacs/company"