gentoo.LinuxHowtos.org

Details of app-emacs/boogie-friends:

Description: Emacs tools for interacting with Boogie, Dafny and Z3 (SMT2)
Homepage: https://github.com/boogie-org/boogie-friends/

available versions:

releasesalphaamd64armhppaia64mipsppcppc64ppc macoss390shsparcx86USE-Flagsdependenciesebuild warnings
boogie-friends-0.1_p20220922 -~-----------none
show
show
Legend:
+ stable
~ testing
- not available
some ebuild warning depend on specific use-flags or architectures, all ebuild-warnings are shown.

Tutorials:
no tutorial found


back