app-emacs/boogie-friends – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	mips	ppc	ppc64	riscv	sparc
0.1_p20260805 : 0 T EAPI 9	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc
0.1_p20220922 : 0 T EAPI 8	~amd64	?x86	?alpha	?arm	?arm64	?hppa	?mips	?ppc	?ppc64	?riscv	?sparc

Upstream
Bugs-To https://github.com/boogie-org/boogie-friends/issues/
Remote-Id https://github.com/boogie-org/boogie-friends
Full description
This package is a collection of tools for writing verified programs in languages of the Boogie family. Dafny and Boogie are the two currently supported languages, besides Z3.
License
MIT
Maintainer(s)
Gentoo GNU Emacs project

Bugs-To	https://github.com/boogie-org/boogie-friends/issues/
Remote-Id	https://github.com/boogie-org/boogie-friends