app-emacs/boogie-friends – Gentoo Packages

Version	amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
0.1_p20220922 : 0 T	~amd64	x86	alpha	arm	arm64	hppa	ia64	ppc	ppc64	riscv	sparc
0.1_p20210703 : 0 T	~amd64	x86	alpha	arm	arm64	hppa	ia64	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

CI Report (verbose)

Repology

Git log (short)

app-emacs/ boogie-friends